Comments non determinist test in test_infinite_loop()