add countNodes for global numberings