Non-deterministic code should not be optimized away. Code like… ```xquery count($ten-strings ! (file:delete(.), .)) ``` …is rewritten to `count(replicate("", 10))`. A single `count(file:delete('x'))` will delete the file.
Non-deterministic code should not be optimized away. Code like…
…is rewritten to
count(replicate("", 10)).A single
count(file:delete('x'))will delete the file.