let print_initial_stateA : 'a list -> unit =
  let one_argument_to_string arg = match arg with
      Base(Var(id)) -> if_value_to_string atom_ground_value_to_string (If_address(id))
    | _ -> "Interface.prout_initial_state: Not a variable"
  in
  let one_state_to_string = function
      State(role_string,id,term_list) ->
        (add_state (get_name_in_session role_string id) (list_to_string one_argument_to_string "," term_list))
    | _ ->
        failwith "Interface.print_initial_state: Warning: Predicate not handled!"
  in
    list_to_stringA one_state_to_string