let add_state (name : string) (state : string) : unit = Hashtbl.add initial_states name (replace "dummy_" "" state)