diff --git a/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/EvaluationSessionImpl.kt b/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/EvaluationSessionImpl.kt
index eaf66be0..78145e33 100644
--- a/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/EvaluationSessionImpl.kt
+++ b/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/EvaluationSessionImpl.kt
@@ -49,7 +49,10 @@ internal class EvaluationSessionImpl private constructor (
         val invalidFeedbackKeys: Set<Any>
         
         if (!incrementality.ability().allowed() || token == null) {
-            val ruleIndex = RuleIndex(program.rulesLists())
+            val ruleIndex = token
+                ?.let { (it as SessionTokenImpl).ruleIndex }
+                ?.also { it.updateIndex(program.rulesLists(), rulesDiff.removed) }
+                ?: RuleIndex(program.rulesLists())
             val logicalState = LogicalState()
 
             val processing = ConstraintsProcessing(