TODOs added in the RepetitionChecker
Merge problem