Member predicate ControlFlow::Node::getASuccessor

Gets a node that directly follows this one in the control-flow graph.