//
// Create flow graph
//
log.info("Generating flow graph...");
Intermediate2FlowGraph tr = new Intermediate2FlowGraph(app);
FlowGraph g = tr.convert(alias, reachingDefinitions, assertions);
// Notify diagnostics of flow graph
diagnostics.flowGraphCompleted(g);
Map<Statement, Node> m2 = tr.getTranslationMap();