/test/599-checker-irreducible-loop/