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