let
new_undef_state env =
Array
.make env.nb_vars (-1)