Use desguar -> resugar to generate code for now