Edit-and-Continue and running-backward