method pp_pred_atom fmt p = if self#pred_atomic p then self#pp_pred fmt p else Format.fprintf fmt "@[<hov 1>(%a)@]" self#pp_pred p