Each state transition is currently wrapped in autoRetryTxn, which tries to start the transaction. This has a side effect of aborting the current active transaction. So there is always only one statement that was executed on the current transaction when the state machine transitions to commitTxn.