covec,
If you can get on the intranet and find a copy of JSP 764, PAGE 5-2-5 includes an example (example 3) of someone leaving after EDP 18/40 point with at least 4 years uncompleted service.
It calculates the compensation figure (redundancy payment) and specifies "other benefits" as:
EDP lump sum (i.e. gratuity)
EDP income payable immediately.
It's in black and white in the JSP, you get your gratuity if made redundant. You have earned the immediate gratuity as part of your pension rights, they don't take it away if they make you redundant.