12,923 કરોડની જોગવાઈ કરાઈ, કર્મચારીઓને પેન્શન સહિતના લાભ આપવા જોગવાઈ કરાઈ