Removed temporary debug code. Switched tests to changed namespace URI for document navigation. Added IF checks for fox:destionation.