Counter with Double Increment - Hyperapp Typing CST Test