Predicate StepRelationTransformations::PhaseDependentFlow::runtimeStep
Holds if a step can be taken from nodeFrom to nodeTo at runtime.
Import path
import semmle.python.dataflow.new.internal.DataFlowPrivatepredicate runtimeStep(Node nodeFrom, Node nodeTo)