Implement ruleset analyser

[richardstartin]

If each constraint is associated with only one rule, this library represents a huge waste of space, and it would be better to use a list of rules with the most selective rule first in the list. The cost of the data structure can be calculated from the rules.