Q# Counter and Theme Toggle - Loop Simulation - Qsharp Typing CST Test