The split tree notation is at the moment purely local. It basically says “given this path and this index, is this item covered?”. It doesn’t (yet) have any support for global tests that would involve knowing the topology of the entire tree. It’s something I need to look into whether it’s possible to add without a total rewrite. If I can’t it’ll have to wait for GH2.