Was this provision applied when legislation to end defined benefit pensions for state employees was established?