If the employee left, contract ended, had end of service payment etc, then I don't see why he should get any bonus.