Warning: this way of using the CLI is deprecated. Use 'dafny --help' to see help for the new Dafny CLI format
Processing command (at Snapshots9.v0.dfy(2,11)) assert {:id "id2"} ok#0;
  >>> DoNothingToAssert
Snapshots9.v0.dfy(4,7): Error: a postcondition could not be proved on this return path
Snapshots9.v0.dfy(2,10): Related location: this is the postcondition that could not be proved
Processing command (at Snapshots9.v0.dfy(12,11)) assert {:id "id7"} ok#0;
  >>> DoNothingToAssert
Snapshots9.v0.dfy(13,0): Error: a postcondition could not be proved on this return path
Snapshots9.v0.dfy(12,10): Related location: this is the postcondition that could not be proved

Dafny program verifier finished with 0 verified, 2 errors
Processing command (at Snapshots9.v1.dfy(6,11)) assert {:id "id10"} ok#0;
  >>> RecycleError
Snapshots9.v1.dfy(8,7): Error: a postcondition could not be proved on this return path
Snapshots9.v1.dfy(6,10): Related location: this is the postcondition that could not be proved
Processing command (at Snapshots9.v1.dfy(19,11)) assert {:id "id15"} ok#0;
  >>> RecycleError
Snapshots9.v1.dfy(21,0): Error: a postcondition could not be proved on this return path
Snapshots9.v1.dfy(19,10): Related location: this is the postcondition that could not be proved

Dafny program verifier finished with 0 verified, 2 errors
