Counter with Goroutines - Go Typing CST Test