/test/564-checker-irreducible-loop/