Member predicate ControlFlowExitNode::isAFinalNodeOfContainer
Holds if this is a final node of container, that is, a CFG node where execution
of that toplevel or function terminates.
predicate isAFinalNodeOfContainer(StmtContainer container)Holds if this is a final node of container, that is, a CFG node where execution
of that toplevel or function terminates.
predicate isAFinalNodeOfContainer(StmtContainer container)