Predicate CodeDuplication::duplicate_extension

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.

predicate duplicate_extension(DuplicateBlock start1, DuplicateBlock start2, DuplicateBlock ext1, DuplicateBlock ext2, int start, int ext)