Reports boolean expressions of the form
!(foo ^ bar) and (foo && bar) || !foo.
Such expressions may be safely simplified to
foo == bar and !foo || bar respectively.

New in 15