Factorial - Prolog Typing CST Test