//
// 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();
if (log.isDebugEnabled()) {
log.debug("Statement -> Node:");
for (Map.Entry<Statement, Node> me : m2.entrySet()) {
log.debug(" " + me.getKey() + " -> " + me.getValue());
}