Does this case even occur? We currently do full macro-expansion all at once, so there should not be various stages of "originalness" I believe.