Prime Checker - Xquery Typing CST Test