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
)