Have a thinner env management by doing liveness analysis