Predicate TypeTracking::Cached::smallStepNoCall
Import path
import codeql.typetracking.internal.TypeTrackingImpl
predicate smallStepNoCall(Node nodeFrom, LocalSourceNode nodeTo, StepSummary summary)
import codeql.typetracking.internal.TypeTrackingImpl
predicate smallStepNoCall(Node nodeFrom, LocalSourceNode nodeTo, StepSummary summary)