Warning: this way of using the CLI is deprecated. Use 'dafny --help' to see help for the new Dafny CLI format
Processing command (at Snapshots3.v0.dfy(9,14)) assert {:id "id0"} Lit(0 != 0);
  >>> DoNothingToAssert
Snapshots3.v0.dfy(9,13): Error: assertion might not hold

Dafny program verifier finished with 0 verified, 1 error
Processing command (at Snapshots3.v1.dfy(5,12)) assert {:id "id1"} Lit(true);
  >>> DoNothingToAssert
Processing command (at Snapshots3.v1.dfy(9,14)) assert {:id "id2"} Lit(0 != 0);
  >>> RecycleError
Snapshots3.v0.dfy(9,13): Error: assertion might not hold

Dafny program verifier finished with 0 verified, 1 error
