Predicate matchAsFlowStep
as pattern: subject flows to alias as well as to the interior pattern
syntax (toplevel): case pattern as alias:
Import path
import semmle.python.dataflow.new.internal.MatchUnpackingpredicate matchAsFlowStep(Node nodeFrom, Node nodeTo)