Counter with Step - Inferno Typing CST Test