Liveness analysis!