Захваты в Search()

Кажется придумал как можно сделать захваты при обходе в ширину. Но это повлечет ощутимые накладные расходы. Нужно не просто запоминать на каждой итерации узлы следующего уровня, а еще и доп информацию. Новые узлы для следующей итерации всегда получаются из какого-то узла текущей итерации. При продвижении по уровням дерева можно запоминать цепочки наследования узлов и позицию в тексте, на которой узел был рожден. Т.е. когда матчинг закончится, нужно иметь возможность размотать цепочку обратно и получить позицию текста в каждом звене.
Думаю это увеличит время матчинга примерно в 2 раза. Надо наверно делать отдельную функцию под поиск с захватами.

Start at Search() and trace its breadth-first traversal of the tree. Determine how each next-level node is derived, then design how inheritance chains and text positions could be retained and unwound after matching. Done means capture positions are available without changing matching results, with the performance cost evaluated against a separate capture-aware search function.