- added variables modified by loop condition to havoced variables
- added variables modified by loop condition to havoced variables

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