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