revise return value of the function Live_liveness