2 files changed, 2 insertions, 2 deletions

diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java
index 5ed65e04..82746aee 100644
--- a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java
+++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java
@@ -163,7 +163,7 @@ public class ModelInitializer {
                         if (statement instanceof ClassDeclaration classDeclaration) {
                                 collectClassDeclarationSymbols(classDeclaration);
                         } else if (statement instanceof EnumDeclaration enumDeclaration) {
-                                collectPartialRelation(enumDeclaration, 1, null, TruthValue.FALSE);
+                                collectPartialRelation(enumDeclaration, 1, TruthValue.FALSE, TruthValue.FALSE);
                         } else if (statement instanceof PredicateDefinition predicateDefinition) {
                                 collectPredicateDefinitionSymbol(predicateDefinition);
                         }
diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/internal/DecisionTree.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/internal/DecisionTree.java
index c5479859..32112e61 100644
--- a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/internal/DecisionTree.java
+++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/internal/DecisionTree.java
@@ -41,7 +41,7 @@ class DecisionTree implements MutableSeed<TruthValue> {
 
         @Override
         public TruthValue reducedValue() {
-                return root.getReducedValue().getTruthValue();
+                return root.getOtherwiseReducedValue().getTruthValue();
         }
 
         @Override