Member predicate Public::Node::getASuccessor

Gets a data-flow node to which data may flow from this node in one (intra-procedural) step.