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