Member predicate StandardPostOrderTree::first
Holds if first is the first element executed within this element.
predicate first(ControlFlowElement first)Holds if first is the first element executed within this element.
predicate first(ControlFlowElement first)