diff --git a/lib/Analysis/GRState.cpp b/lib/Analysis/GRState.cpp
index 23467e2..c9494fe 100644
--- a/lib/Analysis/GRState.cpp
+++ b/lib/Analysis/GRState.cpp
@@ -144,7 +144,8 @@
       CE = CEFactory.Remove(CE, sym);
     }
   }
-  
+  state = state.set<ConstEqTy>(CE);
+
   ConstNotEqTy CNE = state.get<ConstNotEqTy>();
   ConstNotEqTy::Factory& CNEFactory = state.get_context<ConstNotEqTy>();