git-issue-1248.dfy(13,0): Error: a postcondition could not be proved on this return path
git-issue-1248.dfy(12,10): Related location: this is the postcondition that could not be proved
git-issue-1248.dfy(19,0): Error: a postcondition could not be proved on this return path
git-issue-1248.dfy(18,10): Related location: this is the postcondition that could not be proved

Dafny program verifier finished with 0 verified, 2 errors
Warning: this way of using the CLI is deprecated. Use 'dafny --help' to see help for the new Dafny CLI format
git-issue-1248.dfy(13,0): Error: a postcondition could not be proved on this return path
git-issue-1248.dfy(12,10): Related location: this is the postcondition that could not be proved
git-issue-1248.dfy(19,0): Error: a postcondition could not be proved on this return path
git-issue-1248.dfy(18,10): Related location: this is the postcondition that could not be proved

Dafny program verifier finished with 0 verified, 2 errors
