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 !=.