Predicate matchMappingReadStep
mapping pattern: each value reads from subject at the associated key
syntax (toplevel): case {"color": c, "height": x}:
Import path
import semmle.python.dataflow.new.internal.MatchUnpackingpredicate matchMappingReadStep(Node nodeFrom, Content c, Node nodeTo)