DiscoverBounds.dfy(32,7): Warning: /!\ No terms found to trigger on.
DiscoverBounds.dfy(33,7): Warning: /!\ No terms found to trigger on.
DiscoverBounds.dfy(34,7): Warning: /!\ No terms found to trigger on.
DiscoverBounds.dfy(35,7): Warning: /!\ No terms found to trigger on.
DiscoverBounds.dfy(36,7): Warning: /!\ No terms found to trigger on.

Dafny program verifier finished with 7 verified, 0 errors
0
0
-2
-2
-2
{} [] map[198 := 200] multiset{} {} map[]
{} [] map[198 := 200] multiset{} {} map[]
