let
pp_goal fmt x g = fpp_goal pp_pred fmt x g