Member predicate ControlFlowNode::getATrueSuccessor
Gets a node such that the control-flow edge (this, result)
may be
taken when this expression is true.
Gets a node such that the control-flow edge (this, result)
may be
taken when this expression is true.