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