Reports the parts of the code that can be simplified, for example, constant conditions, identical if branches, pointless boolean expressions, and so on.