let rec pp_pred_atom fmt p =
    epp_pred_atom {
      pp_type = pp_tau ;
      pp_term = T.pp_term ;
      pp_pred = pp_pred_atom ;
    } fmt p