Predicate signature TypeTrackingInput::nonStandardFlowsTo
Holds if a non-standard flowsTo
predicate is needed, i.e., one that is not
simply simpleLocalSmallStep*(localSource, dst)
.
signature predicate nonStandardFlowsTo(LocalSourceNode localSource, Node dst)