let mu_range_indir (p:D1.pointer) (i:Formula.m_set F.term) : D1.abstract = D1.e_app2 "mu_range_indir" p i