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