run models/testpath.als
error message below

bash-2.05$ java -classpath c:/alloy2/alloy/bin alloy.RunAlloy models/testpath.als
Alloy Analyzer version 2.0
Run with -h option for help
Questions to alloy-support@mit.edu

processing models/testpath.als...
processing ./models/shortpath.als...
processing ./models/graphs.als...
processing ./models/seq.als...
processing ./models/ord.als...
FATAL
	at alloy.transform.SetLeafIdsVisitor.visit(SetLeafIdsVisitor.java:127)
	at alloy.ast.VariableExpr.acceptVisitor(VariableExpr.java:62)
	at alloy.ast.TreeNode.applyVisitor(TreeNode.java:305)
	at alloy.ast.ASTDepthFirstVisitor.visit(ASTDepthFirstVisitor.java:22)
	at alloy.ast.ASTDepthFirstVisitor.visit(ASTDepthFirstVisitor.java:61)
	at alloy.ast.BinaryExpr.acceptVisitor(BinaryExpr.java:99)
	at alloy.ast.TreeNode.applyVisitor(TreeNode.java:305)
	at alloy.ast.ASTDepthFirstVisitor.visit(ASTDepthFirstVisitor.java:22)
	at alloy.ast.ASTDepthFirstVisitor.visit(ASTDepthFirstVisitor.java:79)
	at alloy.ast.CardinalityExpr.acceptVisitor(CardinalityExpr.java:57)
	at alloy.ast.TreeNode.applyVisitor(TreeNode.java:305)
	at alloy.ast.ASTDepthFirstVisitor.visit(ASTDepthFirstVisitor.java:22)
	at alloy.ast.ASTDepthFirstVisitor.visit(ASTDepthFirstVisitor.java:524)
	at alloy.ast.ElemIntFormula.acceptVisitor(ElemIntFormula.java:99)
	at alloy.ast.TreeNode.applyVisitor(TreeNode.java:305)
	at alloy.ast.TreeNode.applyVisitor(TreeNode.java:307)
	at alloy.ast.ASTDepthFirstVisitor.visit(ASTDepthFirstVisitor.java:22)
	at alloy.ast.ASTDepthFirstVisitor.visit(ASTDepthFirstVisitor.java:199)
	at alloy.ast.Formulas.acceptVisitor(Formulas.java:43)
	at alloy.ast.TreeNode.applyVisitor(TreeNode.java:305)
	at alloy.ast.ASTDepthFirstVisitor.visit(ASTDepthFirstVisitor.java:22)
	at alloy.ast.ASTDepthFirstVisitor.visit(ASTDepthFirstVisitor.java:193)
	at alloy.ast.FormulaSeq.acceptVisitor(FormulaSeq.java:57)
	at alloy.ast.TreeNode.applyVisitor(TreeNode.java:305)
	at alloy.ast.ASTDepthFirstVisitor.visit(ASTDepthFirstVisitor.java:22)
	at alloy.ast.ASTDepthFirstVisitor.visit(ASTDepthFirstVisitor.java:73)
	at alloy.ast.BinaryFormula.acceptVisitor(BinaryFormula.java:99)
	at alloy.ast.TreeNode.applyVisitor(TreeNode.java:305)
	at alloy.ast.TreeNode.applyVisitor(TreeNode.java:307)
	at alloy.transform.GenCommandFormulasVisitor.applyOptimizationsAndDesugar(GenCommandFormulasVisitor.java:70)
	at alloy.transform.GenCommandFormulasVisitor.visit(GenCommandFormulasVisitor.java:54)
	at alloy.ast.RunCommand.acceptVisitor(RunCommand.java:61)
	at alloy.ast.TreeNode.applyVisitor(TreeNode.java:305)
	at alloy.ast.ASTDepthFirstVisitor.visit(ASTDepthFirstVisitor.java:22)
	at alloy.ast.ASTDepthFirstVisitor.visit(ASTDepthFirstVisitor.java:97)
	at alloy.ast.Commands.acceptVisitor(Commands.java:43)
	at alloy.ast.TreeNode.applyVisitor(TreeNode.java:305)
	at alloy.ast.ASTDepthFirstVisitor.visit(ASTDepthFirstVisitor.java:22)
	at alloy.ast.ASTDepthFirstVisitor.visit(ASTDepthFirstVisitor.java:265)
	at alloy.ast.Module.acceptVisitor(Module.java:217)
	at alloy.ast.TreeNode.applyVisitor(TreeNode.java:305)
	at alloy.ast.ASTDepthFirstVisitor.visit(ASTDepthFirstVisitor.java:22)
	at alloy.ast.ASTDepthFirstVisitor.visit(ASTDepthFirstVisitor.java:271)
	at alloy.ast.Modules.acceptVisitor(Modules.java:51)
	at alloy.ast.TreeNode.applyVisitor(TreeNode.java:305)
	at alloy.ast.ASTDepthFirstVisitor.visit(ASTDepthFirstVisitor.java:22)
	at alloy.transform.GenCommandFormulasVisitor.visit(GenCommandFormulasVisitor.java:41)
	at alloy.ast.Specification.acceptVisitor(Specification.java:78)
	at alloy.ast.TreeNode.applyVisitor(TreeNode.java:305)
	at alloy.RunAlloy.performElaborations(RunAlloy.java:125)
	at alloy.RunAlloy.run(RunAlloy.java:84)
	at alloy.RunAlloy.main(RunAlloy.java:74)
 : no id for seqElems at unknown

FATAL ERROR: Please mail the file allstate.dmp to alloy-dev@geyer.lcs.mit.edu to get the problem fixed.

bash-2.05$ 

FIX: bug with module scopes in ExprTypeCheckVisitor.  now have stack of
ModuleScopes to handle cases with instantiations across modules