diff --git a/src/test/scala/leon/test/synthesis/SynthesisSuite.scala b/src/test/scala/leon/test/synthesis/SynthesisSuite.scala
index 9abd14c6ed9f54e0762bc141f968a0f5f4450526..6978a3fa8132194d7071118bccbc4d8cdd8a3b73 100644
--- a/src/test/scala/leon/test/synthesis/SynthesisSuite.scala
+++ b/src/test/scala/leon/test/synthesis/SynthesisSuite.scala
@@ -299,20 +299,20 @@ object SortedList {
 }
     """) {
     case "concat" =>
-      Decomp("ADT Induction on 'in1'", List(
+      Decomp("ADT Split on 'in1'", List(
         Close("CEGIS"),
         Close("CEGIS")
       ))
 
     case "insert" =>
-      Decomp("ADT Induction on 'in1'", List(
+      Decomp("ADT Split on 'in1'", List(
         Close("CEGIS"),
         Close("CEGIS")
       ))
 
     case "insertSorted" =>
       Decomp("Assert isSorted(in1)", List(
-        Decomp("ADT Induction on 'in1'", List(
+        Decomp("ADT Split on 'in1'", List(
           Decomp("Ineq. Split on 'head*' and 'v*'", List(
             Close("CEGIS"),
             Decomp("Equivalent Inputs *", List(
@@ -356,7 +356,7 @@ object ChurchNumerals {
 }
     """) {
     case "add" =>
-      Decomp("ADT Induction on 'y'", List(
+      Decomp("ADT Split on 'y'", List(
         Close("CEGIS"),
         Close("CEGIS")
       ))