Make contains(key, value) succeed whenever the key is present with an equal value, even if the map itself uses reference equality for _values_.

Make contains(key, value) succeed whenever the key is present with an equal value, even if the map itself uses reference equality for _values_. #1134