I don't have a citation, but IRS does not play second fiddle. If the taxpayer elects to take a reduced settlement with the insurance, IRS considers that a full reimbursement. I will put a shout out for someone that might be able to back me up with a citation.