Deductions & credits

Her filing an 8332 to negate the divorce decree stipulations is NOT an IRS issue ... this is a legal issue so have this handled by your attorney.   For the tax returns, you can file the return as it should be and attach the divorce decree to support your right to claim the dependent.