Converts a boolean comparison expression a op b into !( a negop b ).

In this expression, op and negop are mutually inverse comparison operators, like == and !=.