Efficient highlighting across trees check entire subtrees