Code for live variable analysis and dead code elimination
merge changes