An employee who becomes covered by the correctional plan after serving as a general plan covered employee, or becomes covered by the general plan after serving as a correctional plan covered employee, is covered under section 356.311.