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