Indeed, this is the approach we use for our main results in Section 3.
because of the second problem noted above, in Section 4, we simulated the context by filling the cache with rules from the correct tree.