Swap Two Numbers - Ada-spark Typing CST Test