git-issue-604.dfy(6,2): Warning: this loop has no body (loop frame: x)
git-issue-604.dfy(8,11): Error: assertion might not hold
git-issue-604.dfy(20,11): Error: assertion might not hold

Dafny program verifier finished with 0 verified, 2 errors
