When is a node's nodeNr ever greater than the root's nodeNr?

[jacklo225]

trafficstars

Hi, I have a quick question as given in the title, prompted by the private getNr() function in the RandomLocalClockModel class which contains a conditional checking for a nodeNr greater than the root's nodeNr. I also vaguely recall seeing similar checks previously in other locations but that may be a figment of my imagination.

Thanks!