context.setCurrentUnit(stmt);
context.setCurrentLine(getLineNumber(stmt));
translated.put(stmt, translator.translateStmt((Stmt)stmt));
}
for (Map.Entry<Unit, StatementPair> entry : translated.entrySet()) {
Unit stmt = entry.getKey();
StatementPair translation = entry.getValue();
// add successors
for (Unit next : unitgraph.getSuccsOf(stmt)) {
StatementPair nextt = translated.get(next);
graph.addEdge(translation.last, nextt.first, new VariableFilter());