Member predicate DataFlow::SourceNode::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.