git-issue-1812.dfy(22,16): Error: this invariant could not be proved to be maintained by the loop
 Related message: loop invariant violation
git-issue-1812.dfy(33,16): Error: this invariant could not be proved to be maintained by the loop
 Related message: loop invariant violation

Dafny program verifier finished with 1 verified, 2 errors
