code: def _bddnode(root, lo, hi):
      
      if lo is hi:
          node = lo
      else:
          key = (root, lo, hi)
          try:
              node = _NODES[key]
          except KeyError:
              node = _NODES[key] = BDDNode(*key)
      return node
docs: Return a unique BDD node.