Predicate TypeTrackingInput::levelStepCall
Holds if there is a level step from nodeFrom
to nodeTo
, which may depend on the call graph.
Import path
import semmle.python.dataflow.new.internal.TypeTrackingImpl
predicate levelStepCall(Node nodeFrom, LocalSourceNode nodeTo)