I assume that if Congress explicitly passed a low contradicting a treaty, then our courts would honor Congress's law. However, given that Congress approved the treaty, it seems reasonable that when judging the actions of a federal agency (such as the IRS), the courts would try to interperat the law in a way consistent with our treaties.