[GHC] #9561: Clean up mergeSATInfo