
(:*******************************************************:)
(:Written By: Carmelo Montanez (Automatic Generation)    :)
(:Date: January 18, 2005                                :)
(:Purpose: Test of a ComparisonExpression      :)
(:with the operands set as follows          :)
(:  operand1 = empty Sequence:)
(:  operator = <<:)
(:  operand2 = Single Element Constructor:)
(:*******************************************************:)

count(() << <a>50000</a>)