let pp_goal fmt x g = Fol_pretty.fpp_goal pp_pred fmt x g