Debugging rules with Pigeonhole Sieve