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