Inspection for double negation in boolean expressions
Inspection for simplifying boolean expressions containing boolean literals