optimization: liveness analysis
optimization: liveness analysis