Block-based liveness analysis working