git-issue-1180b.dfy(28,15): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(12,21): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(29,40): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(15,18): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(34,15): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(12,21): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(35,40): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(15,18): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(40,15): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(12,21): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(41,40): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(15,18): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(46,15): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(12,21): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(47,40): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(15,18): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(56,15): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(12,21): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(57,40): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(15,18): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(63,15): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(12,21): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(64,40): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(15,18): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(83,15): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(75,21): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(84,40): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(78,18): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(103,15): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(95,21): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(104,40): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(98,18): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(123,15): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(115,21): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(124,40): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(118,18): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(143,15): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(135,21): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(144,40): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(138,18): Related location: this is the postcondition that could not be proved

Dafny program verifier finished with 13 verified, 20 errors
