Factorial - Datalog Typing CST Test