Making the HasDifferences an annotation