method pp_term_atom fmt e = if self#term_atomic e then self#pp_term fmt e else Format.fprintf fmt "@[<hov 1>(%a)@]" self#pp_term e