let initial_states = (Hashtbl.create 600 : (string, string) Hashtbl.t)