Member predicate CFG::ControlFlowNode::getASuccessor

Gets a node succeeding this node in the CFG.

ControlFlowNode getASuccessor()