Member predicate Make::SplitImpl::appliesSucc
Holds if succ is a control flow successor for pred, given that pred
finishes with completion c, and this split applies to pred.
predicate appliesSucc(AstNode pred, AstNode succ, Completion c)Holds if succ is a control flow successor for pred, given that pred
finishes with completion c, and this split applies to pred.
predicate appliesSucc(AstNode pred, AstNode succ, Completion c)