Substitute in parallel all subsequences in r which equal (according to pred) ss[2*n] with ss[2*n + 1] for n = 0, 1, 2, ....
See Implementation
Substitute in parallel all subsequences in r which equal (according to pred) ss[2*n] with ss[2*n + 1] for n = 0, 1, 2, ....