let is_single elt = match elt.min_rep, elt.max_rep with | Some min, Some max -> is_cst_one min && is_cst_one max | _ -> false