I see what you are saying now.

But as Rick said, the IRA contribution is still allowable.  They can contribute the entire $7000 and didn't need to withdraw anything (there was no "excess").  But because of the income and the work-retirement plan, some of the contribution is non-deductible.  It is still allowable to be made, just not deductible.