let
new_state () = st :=
Enumerative
.new_undef_state !env