Preconditions.checkNotNull(cfg);
CombinedIntegratedAnalysis<CfgNode<?>, CfgEdge, CfgTransformer, Cfg>
bkwAnalysis = CombinedIntegratedAnalysis.createAnalysis();
bkwAnalysis.addAnalysis(new LivenessAnalysis());
madeChanges = AnalysisSolver.solveIntegrated(cfg, bkwAnalysis, false)
|| madeChanges;
if (madeChanges) {