let pp_decl fmt d = Fol_pretty.fpp_decl pp_term pp_pred fmt d