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