(: Name: Constr-docnode-nodeid-1 :)
(: Written by: Andreas Behm :)
(: Description: Copied element node has new node identity :)

for $x in <a/>,
    $y in document {$x}
return exactly-one($y/a) is $x
