Naming clean up
Factor common code
Fix overflow error
Allow back-references to types
Clean up cycle checking
Code simplification
Allow backreferences in constant definitions
Fix bug introduced by backreferencing type definitions
Make CycleFinder available in common
Merge branch 'master' into function

Conflicts:
	jkind/src/jkind/analysis/NodeDependencyChecker.java
	jkind/src/jkind/analysis/StaticAnalyzer.java