let prerr_if_term (func : string) (t : Types.if_term) : unit =
  prerr_string (if_term_to_string func t)