let is_no_repet (min,max) = let is_one c = Extlib.may_map Data_for_aorai.is_cst_one ~dft:false c in is_one min && is_one max