Employer pays the President's family coverage under group health insurance plan per an employment agreement. For other employees, employer only pays for employee-only coverage (employees pay for any more on their own. This clearly is discriminatory under IRC 105(h). But does it violate the IRC 125 cafeteria plan rule against discrimination as to contributions and benefits?