Member predicate ControlFlowGraph::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()