Counter with Tail Recursion - Scala Typing CST Test