SnapshotableTrees.dfy(71,25): Error: a precondition for this call could not be proved
SnapshotableTrees.dfy(610,15): Related location: this is the precondition that could not be proved

Dafny program verifier finished with 51 verified, 2 errors
