Fix NotIdenticalOperator
Merge pull request #429 from ovr/fix_notidentical

Fix NotIdenticalOperator