Member predicate StandardPreOrderTree::last
Holds if last with completion c is a potential last element executed
within this element.
predicate last(ControlFlowElement last, Completion c)Holds if last with completion c is a potential last element executed
within this element.
predicate last(ControlFlowElement last, Completion c)