method pp_pred_iff fmt p q = Format.fprintf fmt "%a@ <->@ %a" self#pp_pred_atom p self#pp_pred_atom q