diff --git a/src/main/scala/leon/refactor/Repairman.scala b/src/main/scala/leon/refactor/Repairman.scala
index bbaec332e25a34dec8f39d53e11986da318019f3..e34e20fdfbcd192c83b3a9052e5fb88eff5315f7 100644
--- a/src/main/scala/leon/refactor/Repairman.scala
+++ b/src/main/scala/leon/refactor/Repairman.scala
@@ -45,7 +45,11 @@ class Repairman(ctx: LeonContext, program: Program, fd: FunDef) {
 
     val testsCases = inouts.collect {
       case InOutExample(ins, outs) =>
-        GuardedCase(WildcardPattern(None), Equals(argsWrapped, tupleWrap(ins)), tupleWrap(outs))
+        val (patt, optGuard) = expressionToPattern(tupleWrap(ins))
+        optGuard match {
+          case BooleanLiteral(true) => SimpleCase(patt, tupleWrap(outs))
+          case guard => GuardedCase(WildcardPattern(None), guard, tupleWrap(outs))
+        }
     }.toList
 
     val passes = if (testsCases.nonEmpty) {