diff --git a/iccma-2025-bin/src/main.rs b/iccma-2025-bin/src/main.rs
index 16b2a84..83b8e33 100644
--- a/iccma-2025-bin/src/main.rs
+++ b/iccma-2025-bin/src/main.rs
@@ -185,7 +185,7 @@ fn main() {
                 let printer = adf.print_dictionary();
 
                 if let Some(fst) = target_var.and_then(|tv| {
-                    adf.stable().find(|m| {
+                    adf.stable_nogood(Default::default()).find(|m| {
                         let term = m[tv.value()];
                         term.is_truth_value() && term.is_true()
                     })
@@ -238,7 +238,7 @@ fn main() {
                 let query: usize = app.query.expect("Query is required for current task.");
                 let target_var = adf.ordering.variable(&query.to_string());
                 let printer = adf.print_dictionary();
-                let mut models = adf.stable();
+                let mut models = adf.stable_nogood(Default::default());
 
                 let witness = if let Some(tv) = target_var {
                     models.find(|m| {
@@ -287,7 +287,7 @@ fn main() {
             }
             Task::SeSt => {
                 let printer = adf.print_dictionary();
-                let mut models = adf.stable();
+                let mut models = adf.stable_nogood(Default::default());
                 if let Some(fst) = models.next() {
                     println!("w {}", printer.print_truthy_statements(&fst).join(" "));
                 } else {
diff --git a/lib/src/adf.rs b/lib/src/adf.rs
index 0e84103..98630c9 100644
--- a/lib/src/adf.rs
+++ b/lib/src/adf.rs
@@ -787,7 +787,9 @@ impl Adf {
         let grounded = self.grounded();
         let heu = heuristic.get_heuristic();
         let (s, r) = crossbeam_channel::unbounded::<Vec<Term>>();
-        self.stable_nogood_get_vec(&grounded, heu, s, r).into_iter()
+        // self.stable_nogood_get_vec(&grounded, heu, s, r).into_iter()
+        self.nogood_internal(&grounded, heu, Self::stability_check, s);
+        r.into_iter()
     }
 
     /// Computes the stable extension of a given [`Adf`], using the [`NoGood`]-learner.