(: Name: revalidation-declaration-04 :)
(: Description: Two declare validation specifying lax :)

declare revalidation lax;
declare revalidation lax;

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

12