Predicate signature levelStepNoCall
Holds if there is a level step from nodeFrom to nodeTo that does not
depend on the call graph.
Import path
import codeql.typetracking.TypeTrackingsignature predicate levelStepNoCall(Node nodeFrom, LocalSourceNode nodeTo)