Member predicate DataFlowExtension::DataFlowNode::getAReturnSuccessorNode

Gets a successor node for data-flow with a change of context from callee to caller (going up the call-stack) across call-site call. Data (all forms) is assumed to flow from this to result Extensions to DataFlowNode should override this to provide additional taint steps.