Predicate DataFlow::ContentSet::mapValueWithKnownKey

Gets the content set describing an access to a map value with the given key.

This content set also reads from a value stored with an unknown key. Use mapValueWithKnownKeyStrict to strictly refer to known keys.

This has no result if key is not one of the keys we track precisely. See also mapValueFromKey.