what do you think about adding nodeRenumberer to GraphReader itself?