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