During undoing the other cases (Install, Erase, Downgrade, Upgrade) the obsoleted packages are installed. But when undoing a Reinstall I suppose that obsoleted packages are still obsoleted. So, I add them to the transactions as obsoleted. If they are not in the system I skip them. Is it correct?