let hashcons h node =
  let hkey = Hashtbl.hash_param 10 100 node in
  try 
    find h node hkey
  with Not_found -> 
    let hnode = { hkey = hkey; tag = gentag(); node = node } in
    add h hkey hnode;
    hnode