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