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)