Fixed bug where VeriFast crashed on an addition or subtraction whose operands are not numbers.
Fixed bug where VeriFast crashed on an addition or subtraction whose operands are not numbers.

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