On retirement, an Executive Branch official, judge, legislator, or other State employee may not receive benefits as a member of more than one State system for the same period of employment as a member.