Made Pre_env.lazy_val opaque.