diff --git a/src/test/scala/leon/regression/synthesis/SynthesisSuite.scala b/src/test/scala/leon/regression/synthesis/SynthesisSuite.scala
index c70df950e0768ca71dd7bba013ac04cd7404edab..ca2b4a3c98107c73c9244486200dd0a44a348cb2 100644
--- a/src/test/scala/leon/regression/synthesis/SynthesisSuite.scala
+++ b/src/test/scala/leon/regression/synthesis/SynthesisSuite.scala
@@ -251,6 +251,7 @@ object SortedList {
     case "insertSorted" =>
       Decomp("Assert isSorted(in1)", List(
         Decomp("ADT Split on 'in1'", List(
+          Close("CEGIS"),
           Decomp("Ineq. Split on 'head*' and 'v*'", List(
             Close("CEGIS"),
             Decomp("Equivalent Inputs *", List(
@@ -259,8 +260,7 @@ object SortedList {
               ))
             )),
             Close("CEGIS")
-          )),
-          Close("CEGIS")
+          ))
         ))
       ))
   }