LivenessAnalysis.java is complete