liveness analysis changed