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