let rec mk_mu_range_indir p rg = match p with 
  | D1muIrange (p', rg') when eq_term rg rg' ->
      mk_mu_range_indir p' rg
  | _ -> D1muIrange (p, rg)