for (final ControlFlowEdge edge : edges) {
final ControlFlowNode from = edge.getSource();
final ControlFlowNode to = edge.getTarget();
output.writeLine("\"%s\" -> \"%s\" [", nodeName(from), nodeName(to));
output.indent();
switch (edge.getType()) {
case Normal:
break;