diff --git a/adb_examples/debt-24-demo/goblint.json b/adb_examples/debt-24-demo/goblint.json
new file mode 100644
index 0000000..d9bcb0f
--- /dev/null
+++ b/adb_examples/debt-24-demo/goblint.json
@@ -0,0 +1,25 @@
+{
+  "files": [
+    "context-sensitivity.c"
+  ],
+  "ana": {
+    "int": {
+      "def_exc" : false,
+      "interval": true
+    },
+    "activated": ["expRelation", "base", "threadid", "threadflag", "threadreturn",
+            "escape", "mutexEvents", "mutex", "access", "race", "mallocWrapper", "mhp",
+            "assert", "pthreadMutexType", "apron"]
+  },
+  "sem": {
+    "lock": {
+      "fail": true
+    }
+  },
+  "warn": {
+    "imprecise": false,
+    "deadcode": false,
+    "info": false
+  },
+  "allglobs": true
+}
diff --git a/adb_examples/debt-24-demo/gobpie.json b/adb_examples/debt-24-demo/gobpie.json
new file mode 100644
index 0000000..577abd1
--- /dev/null
+++ b/adb_examples/debt-24-demo/gobpie.json
@@ -0,0 +1,6 @@
+{
+    "goblintConf" : "goblint.json",
+    "abstractDebugging": true,
+    "incrementalAnalysis": false,
+    "showCfg": true
+}
diff --git a/adb_examples/debt-24-demo/smtprc-example/gobpie.json b/adb_examples/debt-24-demo/smtprc-example/gobpie.json
index 5901fcb..5c58477 100644
--- a/adb_examples/debt-24-demo/smtprc-example/gobpie.json
+++ b/adb_examples/debt-24-demo/smtprc-example/gobpie.json
@@ -1,5 +1,5 @@
 {
-    "goblintConf" : "smtprc.json",
+    "goblintConf" : "smtprc-extraction.json",
     "abstractDebugging": true,
     "incrementalAnalysis": false,
     "showCfg": true
diff --git a/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/compile_commands.json b/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/compile_commands.json
index ad816ce..175d609 100644
--- a/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/compile_commands.json
+++ b/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/compile_commands.json
@@ -1,18 +1,4 @@
 [
-  {
-    "arguments": [
-      "/usr/bin/gcc",
-      "-Wall",
-      "-g",
-      "-c",
-      "-o",
-      "smtprc.o",
-      "smtprc.c"
-    ],
-    "directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3",
-    "file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/smtprc.c",
-    "output": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/smtprc.o"
-  },
   {
     "arguments": [
       "/usr/bin/gcc",
@@ -23,65 +9,9 @@
       "scan_engine.o",
       "scan_engine.c"
     ],
-    "directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3",
-    "file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/scan_engine.c",
-    "output": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/scan_engine.o"
-  },
-  {
-    "arguments": [
-      "/usr/bin/gcc",
-      "-Wall",
-      "-g",
-      "-c",
-      "-o",
-      "options.o",
-      "options.c"
-    ],
-    "directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3",
-    "file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/options.c",
-    "output": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/options.o"
-  },
-  {
-    "arguments": [
-      "/usr/bin/gcc",
-      "-Wall",
-      "-g",
-      "-c",
-      "-o",
-      "utils.o",
-      "utils.c"
-    ],
-    "directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3",
-    "file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/utils.c",
-    "output": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/utils.o"
-  },
-  {
-    "arguments": [
-      "/usr/bin/gcc",
-      "-Wall",
-      "-g",
-      "-c",
-      "-o",
-      "parse_config_files.o",
-      "parse_config_files.c"
-    ],
-    "directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3",
-    "file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/parse_config_files.c",
-    "output": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/parse_config_files.o"
-  },
-  {
-    "arguments": [
-      "/usr/bin/gcc",
-      "-Wall",
-      "-g",
-      "-c",
-      "-o",
-      "parse_args.o",
-      "parse_args.c"
-    ],
-    "directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3",
-    "file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/parse_args.c",
-    "output": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/parse_args.o"
+    "directory": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction",
+    "file": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/scan_engine.c",
+    "output": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/scan_engine.o"
   },
   {
     "arguments": [
@@ -92,8 +22,8 @@
       "-pthread",
       "smtprc.c"
     ],
-    "directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3",
-    "file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/smtprc.c"
+    "directory": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction",
+    "file": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/smtprc.c"
   },
   {
     "arguments": [
@@ -104,8 +34,8 @@
       "-pthread",
       "scan_engine.c"
     ],
-    "directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3",
-    "file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/scan_engine.c"
+    "directory": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction",
+    "file": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/scan_engine.c"
   },
   {
     "arguments": [
@@ -116,8 +46,8 @@
       "-pthread",
       "options.c"
     ],
-    "directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3",
-    "file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/options.c"
+    "directory": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction",
+    "file": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/options.c"
   },
   {
     "arguments": [
@@ -128,8 +58,8 @@
       "-pthread",
       "utils.c"
     ],
-    "directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3",
-    "file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/utils.c"
+    "directory": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction",
+    "file": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/utils.c"
   },
   {
     "arguments": [
@@ -140,8 +70,8 @@
       "-pthread",
       "parse_config_files.c"
     ],
-    "directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3",
-    "file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/parse_config_files.c"
+    "directory": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction",
+    "file": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/parse_config_files.c"
   },
   {
     "arguments": [
@@ -152,7 +82,7 @@
       "-pthread",
       "parse_args.c"
     ],
-    "directory": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3",
-    "file": "/home/ubuntu/goblint/gobpie-demo-debt-24/smtprc-example/smtprc-2.0.3/parse_args.c"
+    "directory": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction",
+    "file": "/home/ubuntu/GobPie/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/parse_args.c"
   }
 ]
diff --git a/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/options.o b/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/options.o
index 0fdc0eb..21a1e3a 100644
Binary files a/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/options.o and b/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/options.o differ
diff --git a/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/parse_args.o b/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/parse_args.o
index 8ec0fdb..3ce0e73 100644
Binary files a/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/parse_args.o and b/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/parse_args.o differ
diff --git a/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/parse_config_files.o b/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/parse_config_files.o
index 0d4c655..ffe8952 100644
Binary files a/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/parse_config_files.o and b/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/parse_config_files.o differ
diff --git a/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/scan_engine.c b/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/scan_engine.c
index f946034..b2ca7e4 100644
--- a/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/scan_engine.c
+++ b/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/scan_engine.c
@@ -82,19 +82,6 @@ void start_scan(void) {
 	}
 	flag = 0;
 	pthread_mutex_lock(&main_thread_count_mutex);
-	while(o.cur_threads>0) {
-		pthread_mutex_unlock(&main_thread_count_mutex);
-		flag++;
-		if(f.debug||f.verbose>1) {
-			if(flag>1) {
-				fprintf(stderr, "O.cur_childs(%d) id greater than zero...... sleepingz\n",o.cur_threads);
-				flag = 0;
-			}
-		}
-		nanosleep(&tv, NULL);
-	}
-	pthread_mutex_unlock(&main_thread_count_mutex);
-	//pthread_attr_destroy(&attr);
 
 	return;
 
diff --git a/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/scan_engine.o b/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/scan_engine.o
index cd72008..5728e04 100644
Binary files a/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/scan_engine.o and b/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/scan_engine.o differ
diff --git a/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/smtprc b/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/smtprc
deleted file mode 100755
index 1666e5a..0000000
Binary files a/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/smtprc and /dev/null differ
diff --git a/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/smtprc.o b/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/smtprc.o
index 89c37f1..fde2f9e 100644
Binary files a/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/smtprc.o and b/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/smtprc.o differ
diff --git a/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/utils.o b/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/utils.o
index 0bc2569..c16b459 100644
Binary files a/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/utils.o and b/adb_examples/debt-24-demo/smtprc-example/smtprc-2.0.3-extraction/utils.o differ