1reading symbolic information ... 2[1] stop at 4 3[1] stopped in program at line 4 4 4 b := true; 5false 6stopped in program at line 5 7 5 b := false; 8true 9false 10true 11 12