Conditional Counter Increment - Scheme Typing CST Test