diff --git a/src_colibri2/solver/scheduler.ml b/src_colibri2/solver/scheduler.ml
index 529da77280727ac38d1be21b412378419236e251..160a046e02184891f03dc2b1d6fd323311f3a9c9 100644
--- a/src_colibri2/solver/scheduler.ml
+++ b/src_colibri2/solver/scheduler.ml
@@ -239,7 +239,7 @@ let run_one_step_propagation_l t =
     let module Dem = (val Egraph.Wait.get_dem key) in
     if Ground.Learn.is_uninitialized key then begin
         let blob = Ground.Learn.get key in
-        if (LearnSet.mem (blob key Dem.t) (t.learn_set)) then
+        if (LearnSet.mem (blob key runable) (t.learn_set)) then
             true
         else begin
             let d = Egraph.Backtrackable.get_delayed t.solver_state in
diff --git a/src_colibri2/theories/bool/boolean.ml b/src_colibri2/theories/bool/boolean.ml
index c7d2fcadbb54ba5744e995213e4fca0484005794..b9a15de66cbbda1dd6f68a0a683c48049e5800b3 100644
--- a/src_colibri2/theories/bool/boolean.ml
+++ b/src_colibri2/theories/bool/boolean.ml
@@ -152,6 +152,8 @@ module TwoWatchLiteral = struct
 
     let delay = Events.Delayed_by 1
 
+    let blob _ e = e.ground
+
     type res_scan =
       | LimitReached
       | Absorbent
@@ -269,7 +271,8 @@ module TwoWatchLiteral = struct
               attach (d :> Egraph.Ro.t) r from_end
   end
 
-  let () = Egraph.Wait.register_dem (module Daemon)
+  let () = Egraph.Wait.register_dem (module Daemon);
+           Ground.Learn.set Daemon.key Daemon.blob
 
   let create = Daemon.create
 end
diff --git a/src_colibri2/theories/bool/equality.ml b/src_colibri2/theories/bool/equality.ml
index ed1d8397a0729a516f4e443f3456c6d71849dd77..1cf221de60374e7417e39fc9960dbf0a6cd8f490 100644
--- a/src_colibri2/theories/bool/equality.ml
+++ b/src_colibri2/theories/bool/equality.ml
@@ -336,7 +336,7 @@ module DaemonPropa = struct
   let delay = Events.Delayed_by 1
   let wakeup d v _ev () =
     norm_dom d (ThE.index v)
-  let blob _ _ _ = None
+  let blob _ _ _ = Some "Equality.DaemonPropa : "
 end
 
 module RDaemonPropa = Demon.Key.Register(DaemonPropa)
@@ -379,7 +379,7 @@ module DaemonInit = struct
       | _ -> raise UnwaitedEvent
       ) ev;
     Demon.AliveReattached
-  let blob _ _ _ = None
+  let blob _ _ _ = Some "Equality.DaemonInit : "
 end
 
 module RDaemonInit = Demon.Key.Register(DaemonInit)
@@ -434,7 +434,7 @@ module DaemonPropaITE = struct
         | Some b -> simplify d clsem b
       end
     | _ -> raise UnwaitedEvent
-    let blob _ _ = None
+    let blob _ _ = Some "ITE.propa : "
 
 end
 
@@ -468,7 +468,7 @@ module DaemonInitITE = struct
           Demon.Fast.attach d DaemonPropaITE.key events
     end
     | _ -> raise UnwaitedEvent
-  let blob _ _ = None
+  let blob _ _ = Some "ITE.init : "
 end
 
 module RDaemonInitITE = Demon.Fast.Register(DaemonInitITE)