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