method pp_pred_relation fmt rel es =
    self#pp_term_operator fmt (self#pred_relation rel) es