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