Yes, I changed the semantics. This is because we call `preIncrement` in `region.increment()` after this change. I don't think this change breaks anything, but it just changes the order of `preIncrement` and the nonce operation. What do you think?