نحوه اعطای پاداش پایان خدمت چگونه است؟

سلام یک دستگاه اجرایی کارمندی را برخلاف قانون بازنشسته اجباری کرده است. کارمند به حکم بازنشستگی اعتراض نموده و طرح شکایت به دیوان عدالت اداری میکند و خواستار اعاده بکار و جبران ضرر و زیان می شود. کارمند مجبور بوده برای گذران زندگی خود پاداش پایان خدمت خود را از دستگاه اجرایی بگیرد. شاکی اعاده به خدمت می شود ولی پاداش پایان کار بر اساس حقوق جدید پرداخت نمی‌کنند و عنوان می کنند که شما پاداش پایان خدمت خود را قبلا از دولت گرفته آید. نظر وکیل محترم در این خصوص چیست و چه باید بکنم