let fterm_of_addr v = Hlib.addr (D.Aindex.get_ind v)