Inverses.dfy(68,0): Error: a postcondition could not be proved on this return path
Inverses.dfy(67,10): Related location: this is the postcondition that could not be proved
Inverses.dfy(80,0): Error: a postcondition could not be proved on this return path
Inverses.dfy(79,10): Related location: this is the postcondition that could not be proved
Inverses.dfy(192,0): Error: a postcondition could not be proved on this return path
Inverses.dfy(191,15): Related location: this is the postcondition that could not be proved

Dafny program verifier finished with 31 verified, 3 errors
