diff --git a/src/ast/sls/sat_ddfw.cpp b/src/ast/sls/sat_ddfw.cpp
index c5faa1c4e..70c8ca896 100644
--- a/src/ast/sls/sat_ddfw.cpp
+++ b/src/ast/sls/sat_ddfw.cpp
@@ -220,6 +220,7 @@ namespace sat {
         add_assumptions();
         for (unsigned v = 0; v < num_vars(); ++v) {
             value(v) = (m_rand() % 2) == 0; // m_use_list[lit.index()].size() >= m_use_list[nlit.index()].size();
+            m_vars[v].m_timestamp = 0;
         }
 
         if (!flatten_use_list())