Predicate StepRelationTransformations::PhaseDependentFlow::step
Holds if a step can be taken from nodeFrom to nodeTo.
Import path
import semmle.python.dataflow.new.internal.DataFlowPrivateHolds if a step can be taken from nodeFrom to nodeTo.
import semmle.python.dataflow.new.internal.DataFlowPrivate