Maps.dfy(78,8): Error: element may not be in domain
Execution trace:
    (0,0): anon0
Maps.dfy(128,13): Error: assertion violation
Execution trace:
    (0,0): anon0

Dafny program verifier finished with 32 verified, 2 errors