[Egraph] print sementic value in debug graph

src_colibri2/core/egraph.ml

@@ -396,8 +396,9 @@ let output_graph filename t =
             match Only_for_solver.sem_of_node thterm with
             | Only_for_solver.ThTerm(sem,v) ->
               let (module S) = Nodes.get_thterm sem in
+              let v = S.sem v in
               Format.fprintf fmt "| {%a | %s}"
-                ThTermKind.pp sem (escape_for_dot S.pp v)
+                ThTermKind.pp sem (escape_for_dot S.SD.pp v)
           end
         | _ -> ()
       in