ok i'll take a look and try add some test cases to the analyser....
While working on a chapter on blocks I got the following problems
foo
� � � �| a|
� � � �a := 0.
� � � �^ {[a :=2] .[a]}
| res |
res := ZnClientTests new foo.
res second value crLog.
res first value.
res second value crLog.
stepping into new foo first positioned me only on the [a :=2 ] skipping the first assignment
second I get debuggers when I want to try to get information.
Stef