Соответствует ли оператор "замена узла ..." в любое время атомарному удалению узла (с его поддеревом) и вставке содержимого для замены в том же месте?
То есть, если учесть, что у нас есть DOM-реализация, для поддержки операций замены можно ли предположить, что приведено выше, или возможно что-то подобное (в случае замены элемента "foo" на "blabla «элементная):
оригинальное дерево:
модифицированное дерево: