let
observed_states=
Hashtbl
.create 1