
name(graph.name);
s.append(" ");</BUG>
}
<BUG>} else if (!graph.name.isEmpty()) {

s.append("subgraph ");
name(graph.name);
s.append(" ");</BUG>
}

return s.toString();
}
private void graph(Graph graph, boolean toplevel) {
if (toplevel) {
s.append(graph.strict ? "strict " : "").append(graph.directed ? "digraph " : "graph ");
if (!graph.label.isEmpty()) {
s.append(graph.label.serialized()).append(" ");
}
} else if (!graph.label.isEmpty()) {
s.append("subgraph ").append(graph.label.serialized()).append(" ");
}
