diminish undo-tree