Fix a bug in the liveness analysis