The old query engine supported the pruning of variable bindings within a rule
- bindings not needed by downstream tails would be dropped from intermediate solutions. Unfortunately this needs to be revisited entirely with the new query engine, which partitions queries into join groups, subqueries, etc. The old scheme does not work and is currently completely disabled.
There may also be some interesting interactions with the runtime query optimizer.