Predicate StepSummary::step
Gets the summary that corresponds to having taken a forwards
heap and/or inter-procedural step from nodeFrom to nodeTo.
Import path
import codeql.ruby.typetracking.TypeTrackerpredicate step(TypeTrackingNode nodeFrom, TypeTrackingNode nodeTo, StepSummary summary)