get rid of double desugar in matcher desugaring