Predicate DataFlow::PseudoProperties::mapValueKnownKey

Gets a pseudo-property for the location of a map value where the key is key. The string value of the key is encoded in the result, and there is only a result if the string value of key is known.