diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/dfa/PersistentLogicSystem.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/dfa/PersistentLogicSystem.kt
index d5640c3eef9..ba579649ae7 100644
--- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/dfa/PersistentLogicSystem.kt
+++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/dfa/PersistentLogicSystem.kt
@@ -317,7 +317,7 @@ abstract class PersistentLogicSystem(context: ConeInferenceContext) : LogicSyste
             if (shouldRemoveOriginalStatements) {
                 logicStatements -= originalVariable
             }
-            logicStatements = logicStatements.put(newVariable, newStatements)
+            logicStatements = logicStatements.put(newVariable, logicStatements[newVariable]?.let { it + newStatements } ?: newStatements)
         }
     }