Fix #3578: return a dummy result when an STM transaction is aborted