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)