Upon termination of its participation in a Plan by an Employer, the prohibited inurement rule is not be violated if any assets remaining after satisfaction of all liabilities are used to provide life, sickness, accident or other benefits to employees, using criteria that avoid disproportionate benefits to officers, shareholders or highly compensated employees of the employer.