Minimal Contract Example - Simplicity Typing CST Test