Added test case (Choices/prog3) that loops infinitely (it shouldn't)