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

New in 15