semantic: Add opNotEqual.