fixed a bug in liveness analysis