Member predicate ControlFlowNode :: isCondition
Holds if this node is the top-level expression of a conditional statement,
meaning that this.getATrueSuccessor()
or this.getAFalseSuccessor()
will have a result.
predicate
isCondition
(
)