let hash v = let k = !v.kind in Hashtbl.hash (node_type_id k)