Reverse String - Xquery Typing CST Test