Member predicate 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.