Basic liveness analysis