reading symbolic information ...
[1] stop at 4
[1] stopped in program at line 4
    4       b := true;
false 
stopped in program at line 5
    5       b := false;
true 
false 
true