Processing command (at Snapshots3.v0.dfy(9,14)) assert 0 != 0; >>> DoNothingToAssert Snapshots3.v0.dfy(9,13): Error: assertion violation Execution trace: (0,0): anon0 (0,0): anon3_Else Dafny program verifier finished with 1 verified, 1 error Processing command (at Snapshots3.v1.dfy(5,12)) assert true; >>> DoNothingToAssert Processing command (at Snapshots3.v1.dfy(9,14)) assert 0 != 0; >>> RecycleError Snapshots3.v0.dfy(9,13): Error: assertion violation Execution trace: (0,0): anon0 (0,0): anon3_Else Dafny program verifier finished with 1 verified, 1 error