Holds if there is a sequence of DuplicateBlocks start1, ..., end1 and another sequence start2, ..., end2 such that each block extends the previous one and corresponding blocks have the same equivalence class, with start being the equivalence class of start1 and start2, and end the equivalence class of end1 and end2.