implemented nodeset: a pointer set using node numbers to hash