git-issue-816.dfy(7,11): Error: assertion might not hold
git-issue-816.dfy(20,11): Error: assertion might not hold
git-issue-816.dfy(26,11): Error: assertion might not hold

Dafny program verifier finished with 1 verified, 3 errors
