def visit_edge(self, pred, succ):
    self._dump_raw(('%s -> %s%s;\n' % (pred.node_name(), succ.node_name(), (' [color="white"]' if self._dark_mode else ''))))
def visit_edge(self, pred, succ):
    self._dump_raw(('%s -> %s%s;\n' % (pred.node_name(), succ.node_name(), (' [color="white"]' if self._dark_mode else ))))