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