let hashcons h node =
      let hkey = H.hash node in
      try 
        find h node hkey
      with Not_found -> 
        let hnode = { hkey = hkey; tag = gentag(); node = node } in
        add h hkey hnode;
        hnode