Yikes, that seems pretty horrendous law. In the the UK the tax exempt status comes from the fact you're locking away the income for, say, decades; and you'll be liable to normal income tax at the point of withdrawal.
It's designed to encourage people to save money into their pensions, to make up for decades of the government underfunding social security pensions. It seems really shitty to make that tax break conditional on job security.
Designed is a really strong word. The tax free nature of pension contributions come from the near impossibility of otherwise sensibly taxing annuities.
How should a post tax annuity be calculated? The simplest annuities can probably be done (e.g. pay 100k and receive 6k a year til you die). But, if you paid tax on the full 6k that would mean that the 100k was being taxed again. However, tax none of it and that would see no tax on interest because it was being paid through an annuity. That's before one even starts thinking about spousal benefits or inflation linking.