Similar things are done by JS engines and others nowadays. They optimize and keep the original stuff in case assumptions stop holding.