Predicate matchValueFlowStep
value pattern: flow from the value to the pattern, to add information
syntax (toplevel): case Dotted.value:
Import path
import semmle.python.dataflow.new.internal.MatchUnpackingpredicate matchValueFlowStep(Node nodeFrom, Node nodeTo)