Fixed liveness analysis to use a slower but more correct solution