Support desugarings after analysis.