docs: def to_dotfile(self):
          """ Writes a DOT graphviz file of the domain structure, and returns the filename"""
          domain = self.get_domain()
          filename = "%s.dot" % (self.__class__.__name__)
          nx.write_dot(domain, filename)
          return filename