refactor: rename invalidNumberOfContainers

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

2 files changed, 3 insertions, 4 deletions

diff --git a/subprojects/language/src/main/java/tools/refinery/language/utils/BuiltinSymbols.java b/subprojects/language/src/main/java/tools/refinery/language/utils/BuiltinSymbols.java
index 70a86b51..c87fa044 100644
--- a/subprojects/language/src/main/java/tools/refinery/language/utils/BuiltinSymbols.java
+++ b/subprojects/language/src/main/java/tools/refinery/language/utils/BuiltinSymbols.java
@@ -9,5 +9,5 @@ import tools.refinery.language.model.problem.*;
 
 public record BuiltinSymbols(Problem problem, ClassDeclaration node, PredicateDefinition equals,
                                                          PredicateDefinition exists, ClassDeclaration contained, PredicateDefinition contains,
-                                                         PredicateDefinition invalidNumberOfContainers) {
+                                                         PredicateDefinition invalidContainer) {
 }
diff --git a/subprojects/language/src/main/java/tools/refinery/language/utils/ProblemDesugarer.java b/subprojects/language/src/main/java/tools/refinery/language/utils/ProblemDesugarer.java
index 9f08654c..59e26561 100644
--- a/subprojects/language/src/main/java/tools/refinery/language/utils/ProblemDesugarer.java
+++ b/subprojects/language/src/main/java/tools/refinery/language/utils/ProblemDesugarer.java
@@ -43,9 +43,8 @@ public class ProblemDesugarer {
                 var exists = doGetDeclaration(builtin, PredicateDefinition.class, "exists");
                 var contained = doGetDeclaration(builtin, ClassDeclaration.class, "contained");
                 var contains = doGetDeclaration(builtin, PredicateDefinition.class, "contains");
-                var invalidNumberOfContainers = doGetDeclaration(builtin, PredicateDefinition.class,
-                                "invalidNumberOfContainers");
-                return new BuiltinSymbols(builtin, node, equals, exists, contained,     contains, invalidNumberOfContainers);
+                var invalidContainer = doGetDeclaration(builtin, PredicateDefinition.class, "invalidContainer");
+                return new BuiltinSymbols(builtin, node, equals, exists, contained, contains, invalidContainer);
         }
 
         private <T extends Statement & NamedElement> T doGetDeclaration(Problem builtin, Class<T> type, String name) {