Class LoopsShouldNotBeInfiniteCheck