Counter with Double Increment - Inferno Typing CST Test