CombinedIntegratedAnalysis<CfgNode<?>, CfgEdge, CfgTransformer, Cfg>
fwdAnalysis = CombinedIntegratedAnalysis.createAnalysis();
fwdAnalysis.addAnalysis(new UnreachableAnalysis());
fwdAnalysis.addAnalysis(new ConstantsAnalysis());
fwdAnalysis.addAnalysis(new CopyAnalysis());
// fwdAnalysis.addAnalysis(new InlineVarAnalysis(program));
boolean madeChanges = false;
madeChanges = AnalysisSolver.solveIntegrated(cfg, fwdAnalysis, true)