- The `special cases' can be extended. This is notably attractive for
static predicates with a relatively small number of clauses where a hash
lookup is too costly.
- Create an efficient decision diagram for selecting between low
numbers of static clauses.
- Implement a better judgements for selecting between deep and plain
indexes.