git-issue-4994.dfy(12,13): Error: assertion might not hold
git-issue-4994.dfy(14,13): Error: assertion might not hold
git-issue-4994.dfy(16,13): Error: assertion might not hold
git-issue-4994.dfy(18,14): Error: assertion might not hold
git-issue-4994.dfy(25,13): Error: assertion might not hold
git-issue-4994.dfy(27,13): Error: assertion might not hold
git-issue-4994.dfy(29,13): Error: assertion might not hold
git-issue-4994.dfy(31,14): Error: assertion might not hold

Dafny program verifier finished with 1 verified, 8 errors
