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