yes, in bk, tax attributes (and nols are at the top of the listing of tax attributes) are reduced due to cancellation of debt.