Member predicate Trees::StmtSequenceTree::succ

Holds if succ is a control flow successor for pred, given that pred finishes with completion c.