IMaps.dfy(36,18): Warning: /!\ No terms found to trigger on.
IMaps.dfy(36,49): Warning: /!\ No terms found to trigger on.
IMaps.dfy(51,18): Warning: /!\ No terms found to trigger on.
IMaps.dfy(79,33): Warning: /!\ No terms found to trigger on.
IMaps.dfy(52,7): Error: element may not be in domain
Execution trace:
    (0,0): anon0
    (0,0): anon5_Then
    (0,0): anon2

Dafny program verifier finished with 14 verified, 1 error
