Hey Stefano,
sorry for the delay. I'm glad to tell you that the problem has been solved. At least I hope so ...
I added the fix to our repository - feel free to check that out. If any further issues arise, please let us know.
Thanks for your help on improving BaseX!
Kind regards, Lukas