Predicate signature TypeTracking::CallGraphConstruction::InputSig::stepCall
Holds if type tracking should use the step from nodeFrom
to nodeTo
,
which does depend on the call graph.
Implementing this predicate using [small]stepCall
yields
standard type tracking.
signature predicate stepCall(Node nodeFrom, Node nodeTo, StepSummary summary)