You know how we add 1 round and possibly 1 alternation to every (n, k)
pair we get from a pair of successors which don't match? I moved that
part of the processing elsewhere.