let pp_pred_vbox fmt p =
    epp_pred_vbox {
      pp_type = pp_tau ;
      pp_term = T.pp_term ;
      pp_pred = pp_pred_atom ;
    } fmt p