refactor: rename invalidNumberOfContainers

Use a simplified name invalidContainer, since this pattern may match even if
there is a sufficient number of ERROR containers.

1 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 aaef3326..13e25d0a 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
@@ -115,8 +115,8 @@ public class ModelInitializer {
                                 null, TruthValue.UNKNOWN));
                 putRelationInfo(builtinSymbols.contains(), new RelationInfo(ContainmentHierarchyTranslator.CONTAINS_SYMBOL,
                                 null, TruthValue.UNKNOWN));
-                putRelationInfo(builtinSymbols.invalidNumberOfContainers(),
-                                new RelationInfo(ContainmentHierarchyTranslator.INVALID_NUMBER_OF_CONTAINERS, TruthValue.FALSE,
+                putRelationInfo(builtinSymbols.invalidContainer(),
+                                new RelationInfo(ContainmentHierarchyTranslator.INVALID_CONTAINER, TruthValue.FALSE,
                                                 TruthValue.FALSE));
                 collectNodes();
                 collectPartialSymbols();