let print_if_states_list func l =
  let rec print_if_states_list_rec = function
      [] -> Error_handler.displayWarning 5 "print_if_states"
    | [h] ->
              if (func <> "print_term_type"then
          prout_string " ";
        print_if_term func h
    | h::t ->
              if (func <> "print_term_type"then
          prout_string " "
              print_if_term func h ;
              if (func <> "print_term_type"then
          prout_string func; (* " *)
              print_if_states_list_rec t
  in
  print_if_states_list_rec l