Predicate TypeTrackingInput::levelStepCall
Holds if there is a level step from nodeFrom to nodeTo, which may depend on the call graph.
Import path
import codeql.ruby.typetracking.internal.TypeTrackingImplpredicate levelStepCall(Node nodeFrom, LocalSourceNode nodeTo)