Resettable Counter - Scheme Typing CST Test