Ensure that successful transactions are undone even if subsequent assertions fail.