Q# Counter and Theme Toggle - Reset Example - Qsharp Typing CST Test