let get_initial_state (name : string) : string = if (Hashtbl.find_all initial_states name=[]) then "" else Hashtbl.find initial_states name