let print_if_term (func : string) (t : Types.if_term) : unit =
  prout_string (if_term_to_string func t)