Notes on undo tree integration