This intention converts a boolean comparison expression
not(a negop b)
into
a op b
. Where
op
and
negop
are mutually inverse comparison operators, like
==
and
!=
.