[Git][ghc/ghc][wip/jeltsch/improve-closure-property-check] Change the style of the `offenders` definition