Member predicate DataFlowExtension::DataFlowNode::getACalleeSuccessorNode

Gets a successor node for data-flow with a change of context from caller to callee (going down 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.