method pp_term_cond fmt c a b =
    if self#term_atomic a && self#term_atomic b then
      Format.fprintf fmt "%a?%a:%a"
        self#pp_term_atom c self#pp_term b self#pp_term c
    else
      Format.fprintf fmt "@[<hv 2>if %a@ then %a@ else %a@]"
        self#pp_term c self#pp_term a self#pp_term b