improve efficiency of liveness analysis.