Hi Christian,
yes, we tested by setting MIXUPDATES = false and
the error remains the same.
to reproduce it,
1) deploy a fresh basex instance from latest snapshot (BaseX80-20140519.172557.zip)
2) create an Empty database i.e. "sample"
3) Add the below function to the restxq.xqm