This intention simplifies negated binary expressions by replacing expressions such as !(
a
op
b
) with
a
negop
b
(where
op
and
negop
are inverse comparison operators like
==
and
!=
or
in
and
!in
).