(: Name: emptyorderdecl-8 :)
(: Description: Evaluation of a prolog that specifies "empty greatest" with a set of numbers (one empty) and no order by clause :)

declare default order empty greatest;

(: insert-start :)
declare variable $input-context1 external;
(: insert-end :)

for $i in (1,4,0 div 0E0,7)
return $i