Közalkalmazotti felmentési idő szabadságszámítása

Tisztelt Szakértő! Állami szférában közalkalmazotti jogviszonyban lévő hölgy 40 éves korkedvezményes nyugdíjba vonulásának engedélyét kérelmezte. 28 éves jogviszonyának köszönhetően 7 hónap felmentési időt állapítottak meg, melynek felére munkavégzésre kötelezték. Ugyanakkor az arányosan járó éves szabadság kiszámításakor a munkáltató a felmentési időnek csak a munkavégzéssel töltött időszakát vette számításba. A munkavégzés alóli időszakot nem tekinti beszámíthatónak, mondván azt az időszakot beszámíthatják, de nem kötelezik rá őket törvényileg?! Kicsit utánakerestem törvényeknek, és az alábbiakra bukkantam: Mt. 115. § (1) bekezdés szerint szabadság jár a munkában töltött idő esetén. Mt. 115. § (2) bekezdés a) pontja szerint munkaidőnek minősül a munkavégzési kötelezettség alóli mentesülés. Mt. 55. § (1) bekezdése taglalja ezt a fogalmat. Talán a k) pontban lévő, „munkaviszonyra vonatkozó szabályban meghatározott időtartamra” megfogalmazást lehetne beleilleszteni az adott esetre. Válaszát előre is köszönöm!