docs: def node_labels(self):
          """Return the labels for macro nodes."""
          assert list(self.node_indices)[0] == 0
          labels = list("m{}".format(i) for i in self.node_indices)
          return NodeLabels(labels, self.node_indices)