Supreme Court denies pension to ex-DTC employee's heirs, but allows gratuity and leave encashment under relevant laws and rules.