Fixed source location of while condition branch in execution trace
Fixed source location of while condition branch in execution trace

willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast