Member predicate ControlFlowNode::isAFinalNode
Holds if this is a final node, that is, a CFG node where execution of a toplevel or function terminates.
predicate isAFinalNode()
Holds if this is a final node, that is, a CFG node where execution of a toplevel or function terminates.
predicate isAFinalNode()