Failed attempt with speculative counters: txs aborting can cause committing txs to break invariants