Member predicate DataFlowExtension::DataFlowNode::getASuccessorNode

Gets a successor node, where the successor node will be tainted with tokind when this is tainted with fromkind. Extensions to DataFlowNode should override this to provide additional taint steps.