Member predicate Flow::ControlFlowNode::getAFalseSuccessor

Gets a successor for this node if the relevant condition is False.

ControlFlowNode getAFalseSuccessor()