Complete undo of Simplify-the-IdInfo-before-any-RHSs