- 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