Catalog exit codes and check for Yices 2 limitations
Change benchmark default to 1 run
Clean up types related to dependency analysis
Merge branch 'master' into functions

Conflicts:
	jkind/src/jkind/JKind.java
	jkind/src/jkind/JLustre2Kind.java
	jkind/src/jkind/analysis/StaticAnalyzer.java
	jkind/src/jkind/interval/ModelGeneralizer.java
	jkind/src/jkind/interval/ReverseDependencyMap.java
	jkind/src/jkind/lustre/parsing/LustreToAstVisitor.java
	jkind/src/jkind/processes/SmoothProcess.java
	jkind/src/jkind/slicing/Dependency.java
	jkind/src/jkind/slicing/DependencyMap.java
	jkind/src/jkind/slicing/DependencySet.java
	jkind/src/jkind/slicing/DependencyVisitor.java
	jkind/src/jkind/slicing/LustreSlicer.java
	jkind/src/jkind/slicing/ModelSlicer.java
Include assertions without variables
Merge branch 'master' into functions