Implement first draft of liveness analysis.