If the retirement system is terminated or if there is a complete discontinuance of contributions to the retirement system, each member will become fully vested in that member's accrued benefit to the extent funded as of the date of termination or contribution discontinuance.
Tex. Gov't. Code § 841.011