Simple Counter Example - Blitz3d Typing CST Test