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