let uterm_of_data (d : F.data) : unit Fol.d_term =
      let hide_data (_ : F.data) : unit Fol.d_term = assert false in
      Fol.translate_data_in_term hide_data (t_of_l d)