હાઈકોર્ટે કહ્યું કે પેન્શન અને તેની સાથે જોડાયેલા લાભ કર્મચારીને તેના મૃત્યુ પછી મળે છે, તેથી કોઈપણ કર્મચારી તેની વસીયત નથી કરી શકતા.