diff --git a/compiler/fir/semantics/src/org/jetbrains/kotlin/fir/resolve/dfa/Flow.kt b/compiler/fir/semantics/src/org/jetbrains/kotlin/fir/resolve/dfa/Flow.kt
index 73ffda6d72a..8c09be09a11 100644
--- a/compiler/fir/semantics/src/org/jetbrains/kotlin/fir/resolve/dfa/Flow.kt
+++ b/compiler/fir/semantics/src/org/jetbrains/kotlin/fir/resolve/dfa/Flow.kt
@@ -19,7 +19,7 @@ abstract class Flow {
 class PersistentFlow internal constructor(
     private val previousFlow: PersistentFlow?,
     private val approvedTypeStatements: PersistentMap<RealVariable, PersistentTypeStatement>,
-    internal val logicStatements: PersistentMap<DataFlowVariable, PersistentList<Implication>>,
+    internal val implications: PersistentMap<DataFlowVariable, PersistentList<Implication>>,
     // RealVariable describes a storage in memory; a pair of RealVariable with its assignment
     // index at a particular execution point forms an SSA value corresponding to the result of
     // an initializer.
@@ -60,7 +60,7 @@ class PersistentFlow internal constructor(
     fun fork(): MutableFlow = MutableFlow(
         this,
         approvedTypeStatements.builder(),
-        logicStatements.builder(),
+        implications.builder(),
         assignmentIndex.builder(),
         directAliasMap.builder(),
         backwardsAliasMap.builder(),
diff --git a/compiler/fir/semantics/src/org/jetbrains/kotlin/fir/resolve/dfa/LogicSystem.kt b/compiler/fir/semantics/src/org/jetbrains/kotlin/fir/resolve/dfa/LogicSystem.kt
index d31b36843aa..46ba41d0025 100644
--- a/compiler/fir/semantics/src/org/jetbrains/kotlin/fir/resolve/dfa/LogicSystem.kt
+++ b/compiler/fir/semantics/src/org/jetbrains/kotlin/fir/resolve/dfa/LogicSystem.kt
@@ -90,7 +90,7 @@ abstract class LogicSystem(private val context: ConeInferenceContext) {
     }
 
     fun approveOperationStatement(flow: PersistentFlow, statement: OperationStatement): TypeStatements {
-        return approveOperationStatement(flow.logicStatements, statement, removeApprovedOrImpossible = false)
+        return approveOperationStatement(flow.implications.toMutableMap(), statement, removeApprovedOrImpossible = false)
     }
 
     fun approveOperationStatement(