[MOD] XQuery, Validate Module: converting ANodes to DOM representation