Member predicate MakeWithSplitting::StandardTree::succ
Holds if succ is a control flow successor for pred, given that pred
finishes with completion c.
predicate succ(AstNode pred, AstNode succ, Completion c)Holds if succ is a control flow successor for pred, given that pred
finishes with completion c.
predicate succ(AstNode pred, AstNode succ, Completion c)