Member predicate ControlFlowNode::getASuccessor

Gets a node succeeding this node in the CFG.

ControlFlowNode getASuccessor()