Member predicate ControlFlowElement :: isLive
Holds if this element is live, that is this element can be reached from the entry point of its enclosing callable.
predicate
isLive
(
)