prove env_shadowing.