forAll method
forAny method
Count
Count
Invariant entryset
Reverse
Map.replace