code: def support_pruning(self):
          
          if self.curr_domains is None:
              self.curr_domains = dict((v, list(self.domains[v]))
                                       for v in self.vars)
docs: Make sure we can prune values from domains. (We want to pay
          for this only if we use it.)