| (: Name: emptyorderdecl-1 :) | |
| (: Description: Evaluation of a prolog with two empty order declarations.:) | |
| declare default order empty least; | |
| declare default order empty greatest; | |
| (: insert-start :) | |
| declare variable $input-context1 external; | |
| (: insert-end :) | |
| "aaa" |