diff --git a/testcases/synthesis/repair/Desugar/Desugar2.scala b/testcases/synthesis/repair/Desugar/Desugar2.scala
index fc3b81d885fcce337781f796659034bc00c38ed1..d070fc4a2498f6e13d36f244da5ec30af4f407a9 100644
--- a/testcases/synthesis/repair/Desugar/Desugar2.scala
+++ b/testcases/synthesis/repair/Desugar/Desugar2.scala
@@ -157,7 +157,10 @@ object Desugar {
     case Trees.IntLiteral(v)  => Literal(v)
     case Trees.BoolLiteral(b) => Literal(b2i(b))
   }} ensuring { res => 
-    sem(res) == Semantics.semUntyped(e)
+    sem(res) == Semantics.semUntyped(e) && ((e,res) passes {
+      case Trees.Minus(Trees.IntLiteral(42), Trees.IntLiteral(i)) => 
+        Plus(Literal(42), Neg(Literal(i)))
+    })
   }
 
   def sem(e : SimpleE) : Int = e match {