Member predicate MakeWithSplitting::ControlFlowTree::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)