Reports boolean expressions containing a boolean literal which can be further simplified.