Member predicate ControlFlow :: Node :: getATrueSuccessor
Gets an immediate true successor, if any.
An immediate true successor is a successor that is reached when
this condition evaluates to true.
Example:
if (x < 0)
x = -x;
The node on line 2 is an immediate true successor of the node
on line 1.