better desugar
added for desugar test