Safe Division with Contracts - Ada-spark Typing CST Test