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

SourceNode backtrack(TypeBackTracker t2, TypeBackTracker t)