Re: [rules-users] Drools verifier - redundancy detection