Make the loop-breaking algorithm a bit more liberal, where RULES are involved