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