Predicate signature TypeTrackingInput::levelStepCall
Holds if there is a level step from nodeFrom
to nodeTo
that may depend
on the call graph.
signature predicate levelStepCall(Node nodeFrom, LocalSourceNode nodeTo)
Holds if there is a level step from nodeFrom
to nodeTo
that may depend
on the call graph.
signature predicate levelStepCall(Node nodeFrom, LocalSourceNode nodeTo)