Counter with Option Type - Scala Typing CST Test