Member predicate ControlFlowNode :: isNormalExit
Whether this node is a normal (non-exceptional) exit
predicate
isNormalExit
(
)