Predicate 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.TypeTrackerSpecificpredicate levelStepCall(Node nodeFrom, Node nodeTo)Holds if there is a level step from nodeFrom to nodeTo, which may depend on the call graph.
import semmle.python.dataflow.new.internal.TypeTrackerSpecificpredicate levelStepCall(Node nodeFrom, Node nodeTo)