a) zanikají funkce soudců Ústavního soudu České a Slovenské Federativní Republiky, Nejvyššího soudu České a Slovenské Federativní Republiky a vojenských soudů, funkce prokurátorů a vyšetřovatelů Generální prokuratury České a Slovenské Federativní Republiky a vojenských prokuratur,