Factorial - D Typing CST Test