let export_goal fmt x g =
  Fol_pretty.fpp_goal export_pred fmt x g;