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
(
)