Predicate localMustFlowStep
Import path
import semmle.python.dataflow.new.internal.DataFlowPrivatepredicate localMustFlowStep(Node nodeFrom, Node nodeTo)import semmle.python.dataflow.new.internal.DataFlowPrivatepredicate localMustFlowStep(Node nodeFrom, Node nodeTo)