Passes TransactionTest + AbortEvictionTest