[MOD] XQuery: (possibly) no more optimization at runtime