[Projects] XRM 39: Remove debugging messages from prism-desugar.