VeriFast no longer checks for overflows in decreases clause.
VeriFast no longer checks for overflows in decreases clause.

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