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