desugar remove redundant ctop body