Predicate signature TypeTrackingInput::simpleLocalSmallStep
Holds if there is a simple local flow step from nodeFrom
to nodeTo
.
A transitive closure of such steps is prepended to the non-simple
type-tracking steps.
signature predicate simpleLocalSmallStep(Node nodeFrom, Node nodeTo)