for (Unit next : unitgraph.getSuccsOf(stmt)) {
StatementPair nextt = translated.get(next);
graph.addEdge(translation.last, nextt.first, new VariableFilter());
}
// add (exceptional) return edge
graph.addEdge(translation.last, method.getExit(), new VariableFilter());
}
// add entry edges
for (Unit head : unitgraph.getHeads()) {
graph.addEdge(method.getEntry(), translated.get(head).first, new VariableFilter(true, VariableFilter.Kind.ENTRY));
}