Update SequentialNodeRenumberer to maintain parallel externalToInternal, and internalToExternal maps to ensure consistency.