Member predicate CFG::ControlFlowNode::isAFinalNode

Holds if this is a final node, that is, a CFG node where execution of a toplevel or function terminates.

predicate isAFinalNode()