Using Multimap instead of Map<U, Set<V>>
Computation/infrastructure for keeping track of which rules with negative bodies are descandants of a given rule.