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