I think it's still a lot easier to treat each going-back-to-the-past as a fork().