Inspection to report negated binary expressions that can be simplified