Sorry I don't get it, once this operation tree is computed, couldn't it be resolved within SpiceDB? As in, apply the operation on each node of the tree