Generally, a junior United States tax lien will be discharged upon judicial foreclosure of a prior lien only if the United States is made a party to the proceeding. However, if the federal tax lien has not been filed at the time of recording of a lis pendens of the judicial proceeding, the resulting judgment of foreclosure will discharge the United States’ lien even though the United States was not named in the suit.