Even Numbers - Datalog Typing CST Test