/test/559-checker-irreducible-loop/