git-issue-19b.dfy(36,11): Error: assertion might not hold
git-issue-19b.dfy(43,11): Error: assertion might not hold
git-issue-19b.dfy(50,11): Error: assertion might not hold
git-issue-19b.dfy(57,11): Error: assertion might not hold
git-issue-19b.dfy(64,11): Error: assertion might not hold
git-issue-19b.dfy(71,11): Error: assertion might not hold
git-issue-19b.dfy(102,11): Error: assertion might not hold
git-issue-19b.dfy(115,4): Error: a postcondition could not be proved on this return path
git-issue-19b.dfy(113,14): Related location: this is the postcondition that could not be proved
git-issue-19b.dfy(131,36): Error: a precondition for this call could not be proved
git-issue-19b.dfy(124,17): Related location: this is the precondition that could not be proved

Dafny program verifier finished with 19 verified, 9 errors
