Enhance BinaryOperator::isNot to support vector not.