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