Adds animating to reversible debugger.