(1) Notwithstanding anything in section 7, where an employee who has been dismissed by reason of redundancy or laid off has, during the period of the four years immediately preceding the date of dismissal or the lay-off, been laid off for an average annual period of more than twelve weeks, the following provisions shall have effect:

(a) that employee shall not become entitled to redundancy payment by reason of dismissal or lay-off until a period equal to the average annual period of lay-off over the said four-year period in relation to that employee has elapsed after the date of dismissal or lay-off;

(b) if, before the termination of the period required to elapse under paragraph (a), that employee resumes work with the same employer, that employee shall not be entitled to redundancy payment in relation to that dismissal or lay-off;