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