code: def variables(self):
          
          variables = set([])
          for node in self.nodes:
              variables.add(node.variable)
          return sorted(variables)
docs: Sorted list of strings summarizing all variables handled by the
          |Node| objects