Prime Numbers - Datalog Typing CST Test