void (@NotNull TreeChangeEventImpl destinationTreeChange, @NotNull TreeElement anchorBefore, @NotNull TreeElement first) { destinationTreeChange.addElementaryChange(anchorBefore.getTreeParent()); anchorBefore.rawInsertBeforeMe(first); }