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