Consider following: case a) | a b | a := thisContext. [ b := thisContext ] value. a == b case b) | a b | a := thisContext. true ifTrue [ b := thisContext ]. a == b what you think, should those two cases evaluate to same value? not really matter if true or false (i prefer false, or course ;), but what matters is t hat if case a) evaluating to true, then case b) should also evaluate to true and if a) is false, then b) should be false as well. (The potential fix is to never inline blocks who referencing to thisContext variable). -- Best regards, Igor Stasenko AKA sig.