Checking and simplifying validation rule sets
