let rec mk_mu_range o ch = match o with | D1muRange (o', ch') when eq_term ch ch' -> mk_mu_range o' ch | _ -> D1muRange (o, ch)