Predicate similar_extension

Holds if there is a sequence of SimilarBlocks 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.

Import path

import external.CodeDuplication
predicate similar_extension(SimilarBlock start1, SimilarBlock start2, SimilarBlock end1, SimilarBlock end2, int start, int end)