Reports boolean expressions that can be simplified.