Add desugar check in code generator.
Fix annotation compilation.