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