def visit_begin_graph(self, graph):
    self._graph = graph
    self._dump_raw('digraph "ExplodedGraph" {\n')
    if self._dark_mode:
        self._dump_raw('bgcolor="gray10";\n')
    self._dump_raw('label="";\n')
def visit_begin_graph(self, graph):
    self._graph = graph
    self._dump_raw('digraph "ExplodedGraph" {\n')
    if self._dark_mode:
        self._dump_raw('bgcolor="gray10";\n')
    self._dump_raw('label=;\n')