The agency's agreement in a court filing formally reverses a decades-old provision of the tax code, but the motion would need to be approved by a judge.