Predicate signature StepRelationTransformations::stepSig
Holds if there is a step from nodeFrom to nodeTo in
the step relation to be transformed.
This is the input relation to the transformations.
Import path
import semmle.python.dataflow.new.internal.DataFlowPrivate