/test/565-checker-irreducible-loop/