In the aforementioned method, there is a piece of code that intends to handle the cases where the exit test is BoolTest::ne. However, this seems unnecessary, as the exit test of a CountedLoop is always normalized to lt or gt.