Refining of TestUndo