Simple Counter Contract - Vyper Typing CST Test