Transparently Mixing Undo Logs and Software Reversibility for State Recovery in Optimistic PDES