Predicate signature TypeTrackingInput::callStep
Holds if nodeFrom steps to nodeTo by being passed as a parameter in a
call.
signature predicate callStep(Node nodeFrom, LocalSourceNode nodeTo)Holds if nodeFrom steps to nodeTo by being passed as a parameter in a
call.
signature predicate callStep(Node nodeFrom, LocalSourceNode nodeTo)