Member predicate Flow::ControlFlowNode::getATrueSuccessor

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

ControlFlowNode getATrueSuccessor()