#6 Closure not supported exception using the console interface

[Juan Pablo Galeotti]

java -classpath dynalloy4rc14.jar ar.uba.dc.rfm.dynalloy.DynalloyConsoleRunner --loopUnroll 3 alloyInstanciaB.dals alloyInstanciaB.als
> Exception in thread "main" java.lang.UnsupportedOperationException: Closure not supported
> at ar.uba.dc.rfm.dynalloy.xlator.ProgramTranslator.visit(ProgramTranslator.java:118)
> at ar.uba.dc.rfm.dynalloy.ast.programs.Closure.accept(Closure.java:40)
> at ar.uba.dc.rfm.dynalloy.util.DfsProgramVisitor.visit(DfsProgramVisitor.java:73)
> at ar.uba.dc.rfm.dynalloy.xlator.ProgramTranslator.visit(ProgramTranslator.java:98)
> at ar.uba.dc.rfm.dynalloy.ast.programs.Composition.accept(Composition.java:63)
> at ar.uba.dc.rfm.dynalloy.xlator.DynalloyTranslator.visit(DynalloyTranslator.java:130)
> at ar.uba.dc.rfm.dynalloy.ast.AssertionDeclaration.accept(AssertionDeclaration.java:76)
> at ar.uba.dc.rfm.dynalloy.DynalloyController.translateAll(DynalloyController.java:197)
> at ar.uba.dc.rfm.dynalloy.DynalloyController.translate(DynalloyController.java:148)
> at ar.uba.dc.rfm.dynalloy.DynalloyController.translate(DynalloyController.java:74)
> at ar.uba.dc.rfm.dynalloy.DynalloyConsoleRunner.main(DynalloyConsoleRunner.java:67)
>