`Rollback` is a noop if the tx was committed, so it should stay in `FINALLY`. Otherwise handled errors won't cause a rollback when they should (an uncommited tx is different from a rolled back tx).