Simple Loop Print - Ada-spark Typing CST Test