Predicate DataFlow::ContentSet::mapValueFromKey

Gets the content set describing the value in a Map object stored at the given key.

If key is not one of the keys we track precisely, this is mapped to the unknown key instead.