Factorial Function - Ada-spark Typing CST Test