method pp_pred_cond fmt c p q =
    Format.fprintf fmt "if %a@ then %a@ else %a"
      self#pp_term c self#pp_pred p self#pp_pred q