Re: [GHC] #12687: Add a flag to control constraint solving trace