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)