let fterm_of_field f = (D.Findex.get_ind f)