Probably for non union workers. I doubt if the President of the United States allows a company or union to peruse self help via the RLA and then the IRS jumps in afterwards and determines who’s harmed too much.

A ratified agreement carry’s the same authority as an agreement resulting from company or union self help which would have had to include the President. No way a court battle results in IRS policy prevailing over a ratified RLA contract.