To achieve the speed-up described above, however, the rule checking automata must be determinised, which may cause them to blow up in size exponentially.
building a single tree from all rules is not feasible.