There are also other minor differences between Abstract and Ethereum nonce management:
Newly created contracts begin with a deployment nonce value of 0 (as opposed to 1).
The deployment nonce is only incremented if the deployment succeeds
(as opposed to Ethereum, where the nonce is incremented regardless of the deployment outcome).