Member predicate LocalSourceNode :: backtrack
Gets a node that may flow into this one using one heap and/or interprocedural step.
See TypeBackTracker
for more details about how to use this.
LocalSourceNode
backtrack
(
TypeBackTracker
t2
,
TypeBackTracker
t
)