Member predicate Command::FirstElementFlow::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.

ControlFlowNode getASuccessorNode(TaintKind fromkind, TaintKind tokind)