let
rec
pp_pred_debug fmt p =
Fol_pretty
.fpp_pred pp_pred_debug pp_tau pp_term fmt p