(:*******************************************************:)
(:Test: op-boolean-equal-17                              :)
(:Written By: Carmelo Montanez                           :)
(:Date: March 26, 2006                                   :)
(:Purpose: Evaluates cardinality violation on a sequence :)
(: of two or more items.                                 :)
(:*******************************************************:)

let $e := (0,1) 
 return $e eq 0