VeriFast no longer complains if a decreases clause in a loop with a loop contract mentions a ghost variable
VeriFast no longer complains if a decreases clause in a loop with a loop contract mentions a ghost variable

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