1 files changed, 1 insertions, 1 deletions

diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/internal/TerminalNode.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/internal/TerminalNode.java
index 2ebaecef..75933fe4 100644
--- a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/internal/TerminalNode.java
+++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/internal/TerminalNode.java
@@ -48,7 +48,7 @@ class TerminalNode extends DecisionTreeNode {
         protected void mergeAllValues(int nextLevel, Tuple tuple, TruthValue value) {
                 otherwise = DecisionTreeValue.fromTruthValue(otherwise.merge(value));
                 children = IntObjectMaps.mutable.from(children.keyValuesView(), IntObjectPair::getOne,
-                                pair -> pair.getTwo().merge(value));
+                                pair -> pair.getTwo().meet(value));
                 reduceChildren();
         }