Replace Undo button with execution trace, fix #6