Merge "Introduce EnvUsePosition for liveness analysis."