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