Predicate Cached::stepNoCall
Gets the summary that corresponds to having taken a forwards
heap and/or intra-procedural step from nodeFrom to nodeTo.
Steps contained in this predicate should not depend on the call graph.
Import path
import semmle.python.dataflow.new.internal.TypeTrackerpredicate stepNoCall(TypeTrackingNode nodeFrom, TypeTrackingNode nodeTo, StepSummary summary)