Re: [GHC] #11360: Test "termination" doesn't pass with reversed uniques