Re: [GHC] #11024: Fix strange parsing of BooleanFormula