Concat.checkRep implemented