Check Even Number - Ada-spark Typing CST Test