Factorial - Ada Typing CST Test