I assume `self.nextInternallyAssignedNodeID += 1` should go after each `destID = NodeID(self.nextInternallyAssignedNodeID)`?
I assume
self.nextInternallyAssignedNodeID += 1should go after eachdestID = NodeID(self.nextInternallyAssignedNodeID)?