Simple Counter Contract - Clarity Typing CST Test