public final void export(final File path) {
final PlainTextOutput output = new PlainTextOutput();
output.writeLine("digraph g {");
output.indent();
final Set<ControlFlowEdge> edges = new LinkedHashSet<>();
for (final ControlFlowNode node : _nodes) {
output.writeLine("\"%s\" [", nodeName(node));