// groups for all files in a system, clone groups will be reported
// more than once as well. Both cases can be avoided, by
// checking whether the first element of a0 (with respect to a
// fixed order) is equal to f(j) and only report in this case.
Block first = currentBlocksGroup.first(originResourceId);
if (first.getIndexInFile() == j - 2) {
// Godin: We report clones, which start in i-1 and end in j-2, so length is j-2-(i-1)+1=j-i
reportClones(sameHashBlocksGroups[i], currentBlocksGroup, j - i);
}
}
// 15: a := a0