Stack overflow error in transitiveDeps

[mattdf]

In the latest version of Alloy, attempting to use metafacility via the following code:

sig A {
   x: Int,
   y: Int,
   z: Int
}

pred eq[a1, a2 : A] { all f:A$.fields | a1.(f.value)=a2.(f.value) }

pred show {
   eq[A, A]
}

run show

Cause a stack overflow error in Pardinus:

java.lang.StackOverflowError
	at java.util.HashMap.putVal(HashMap.java:629)
	at java.util.HashMap.put(HashMap.java:612)
	at java.util.HashSet.add(HashSet.java:220)
	at java.util.AbstractCollection.addAll(AbstractCollection.java:344)
	at java.util.HashSet.<init>(HashSet.java:120)
	at kodkod.instance.PardinusBounds$SymbolicStructures.transitiveDeps(PardinusBounds.java:800)
	at kodkod.instance.PardinusBounds$SymbolicStructures.transitiveDeps(PardinusBounds.java:805)
	at kodkod.instance.PardinusBounds$SymbolicStructures.transitiveDeps(PardinusBounds.java:805)
	at kodkod.instance.PardinusBounds$SymbolicStructures.transitiveDeps(PardinusBounds.java:805)
	at kodkod.instance.PardinusBounds$SymbolicStructures.transitiveDeps(PardinusBounds.java:805)