Clean up LivenessAnalysis (next step: fix it)
Fix dispatch for conditions in backwards analyses.