let export_tables acc =
  Wp_parameters.debug ~level:3 "[wp-fol] export and clear tables.@.";
  let acc = export_and_clear_axioms acc in
  let acc = export_and_clear_globs acc in
  let acc = export_and_clear_fields acc in
  (* let acc = export_fct_table to_fol acc in *)
  let acc = Types.export_types acc in
    acc