let fpred_of_pred (p : F.pred) : unit Fol.d_pred =
      Fol.translate_data_in_pred uterm_of_data p