method pp_pred_not fmt p = Format.fprintf fmt "not %a" self#pp_pred_atom p