Gets the summary that corresponds to having taken a forwards
inter-procedural step from nodeFrom
to nodeTo
.
Import path
import codeql.ruby.typetracking.TypeTracker
predicate stepCall(TypeTrackingNode nodeFrom, TypeTrackingNode nodeTo, StepSummary summary)