Simple Quick Base Counter Example - Quick-base Typing CST Test