Incorporate latest changes in the delta debugger

code/jvm/src/main/scala/maf/cli/runnables/IncrementalRun.scala

@@ -2,9 +2,9 @@ package maf.cli.runnables
 
 import maf.bench.scheme.SchemeBenchmarkPrograms
 import maf.cli.experiments.incremental.*
-import maf.deltaDebugging.gtr.GTR
-import maf.deltaDebugging.gtr.GTR.*
-import maf.deltaDebugging.gtr.transformations.TransformationManager
+import maf.deltaDebugging.treeDD.variants.GTR
+import maf.deltaDebugging.treeDD.variants.GTR.*
+import maf.deltaDebugging.treeDD.transformations.TransformationManager
 import maf.language.CScheme.*
 import maf.language.change.CodeVersion.*
 import maf.language.scheme.SchemeExp
@@ -94,7 +94,7 @@ object IncrementalRun extends App:
         val log = Logger.raw("reduced-program")
         import SimpleTimer.*
 
-        val exp = GTR.reduce(text, oracle, identity, TransformationManager.allTransformations)
+        val exp = GTR.reduce(text, oracle, TransformationManager.allTransformations)
         log.log(exp.prettyString())
         println(exp.prettyString())
         println(oracle(exp).toString)

code/shared/src/main/scala/maf/bench/scheme/SchemeBenchmarkPrograms.scala

@@ -92,19 +92,11 @@ object SchemeBenchmarkPrograms:
       "Streams.scm", // Uses define-macro.
       "callcc.scm" // call/cc not yet support in concrete interpreter
     )
-    lazy val certainVarious: Set[String] = fromFolder("test/R5RS/various")(
-      ".DS_Store",
-      "pico.scm", // Used def-macro, no main body + need to incorporate pico.ini file.
-      "quasiquoting.scm", // Uses unquote-splicing.
-      "Streams.scm", // Uses define-macro.
-      "callcc.scm", // call/cc not yet support in concrete interpreter
-      "blur.scm",
-      "eta.scm",
-      "SICP-compiler.scm",
-      "kcfa2.scm",
-      "sym.scm",
-      "widen.scm",
-      "mj09.scm"
+    lazy val ddSet: Set[String] = fromFolder("test/R5RS/DD")(
+      ".DS_Store"
+    )
+    lazy val succesRateSet: Set[String] = fromFolder("test/R5RS/DD2")(
+      ".DS_Store"
     )
     lazy val WeiChenRompf2019: Set[String] = SmartUnion.sunionList(List(theLittleSchemer, toplas98, WCR2019))
     lazy val sequentialBenchmarks: Set[String] =