合金和合金*在高阶量化上都失败了

Question

以下合金模型：

sig A {}
run {all a : A | some r : A->A | a.r = a} for 3
run {some a : A | all r : A->A | a.r = a} for 3

合金和合金都失败。如果我使用“普通合金”运行这两个命令(特别是使用来自http://alloy.mit.edu/alloy/download.html的最新版本4.2_ 2015-02-22，构建日期2015-02-22 18:21 EST)，那么第一个命令工作正常，但第二个命令无法浏览：

​

​

但是，如果我使用合金*运行这两个命令(特别是使用http://alloy.mit.edu/alloy/hola/中的hola-0.2.jar )，那么第一个命令将失败，第二个命令可以正常工作：

​

​

也许这里有某种虫子？我以为这样的问题不应该发生在合金*；事实上，合金*纸声明它“允许高阶量词出现在任何地方”。

Answer 1

版本0.3应该正确工作。