Gets the summary that corresponds to having taken a forwards
inter-procedural step from nodeFrom to nodeTo.
Import path
import semmle.python.dataflow.new.internal.TypeTrackerpredicate stepCall(TypeTrackingNode nodeFrom, TypeTrackingNode nodeTo, StepSummary summary)