let fterm_of_mu_index t i v = D.upd_index t i v