我制作了一个程序，允许构建符合某个模型的实例，并允许按照Alloy标准将它们保存在xml文件中。
要获取与这些实例对应的A4Solution对象，然后使用A4SolutionReader.read方法读取这些xml文件。这很有用，直到我偶然发现了一个相当大的实例，在读取时会导致以下异常：
引起：kodkod.engine.CapacityExceededException：对于大小为880的Universe，Arity太大（4）
我会理解分析器在执行大范围分析时会抱怨，但是这里已经提供了实例，那么这个例外是什么呢？还有另一种方法从我的xml文件中获取A4Solution对象而没有这个问题吗？