Improved termination analysis so that daikon generated specifications won't have problems.
Changes: 1) Cleaned up CLI/Compiler classes that Dan provided. 2) Typecheck Constraints. 3) Repair dependence analysis (to order repair of constraints) A) checks for functions 4) Added class to compute exact sizes of sets (and constraints which establish these sizes)
Fix some of Dan's bugs (code generation for relation quantifiers misstyped), didn't allow for relation quantifier in constraints, and my bugs.
Updates
optimized works
model and checks
IR