Het bestreden artikel 7 bepaalt : « In artikel 81 van de programmawet van 28 juni 2013 wordt de bepaling onder a), gedeeltelijk vernietigd door het arrest nr. 158/2014 van 30 oktober 2014 van het Grondwettelijk Hof, vervangen als volgt : ' a) een rustpensioen toegekend aan een persoon die vóór de leeftijd van 65 jaar ambtshalve op rust werd gesteld wegens leeftijdsgrens; ' ».
Der angefochtene Artikel 7 bestimmt: « In Artikel 81 des Programmgesetzes vom 28. Juni 2013 wird Buchstabe a), teilweise für nichtig erklärt durch Entscheid Nr. 158/2014 des Verfassungsgerichtshofes vom 30. Oktober 2014, wie folgt ersetzt: ' a) Ruhestandspensionen, die Personen gewährt werden, die aufgrund des Erreichens der Altersgrenze vor ihrem 65.