brute-force rule equivalence search