Created temporary checker
More fixes
More tweaks.
Created temporary checker
More fixes
More tweaks.
Fixed typo in test_104.wyal
Initial commit
Merge branch 'devel-smt' of github.com:hjwylde/whiley-compiler into devel-smt

Conflicts:
	modules/wycs/src/wycs/core/Types.wyrl
	modules/wycs/src/wycs/util/WycsBuildTask.java
Removed SMTVerificationCheck class
Optimisations and fixes

Added in length conjecture.

In-lined set constants.

Added in support for tuple constants via additional conditions to the
surrounding quantifier.

Added in optimisation for an assertion on a forall or exists.

Added in optimisation for a tuple load on a constant or known tuple
constructor.
Created temporary checker
More fixes
More tweaks.
Created temporary checker
Fixed typo in test_104.wyal
Initial commit
Optimisations and fixes

Added in length conjecture.

In-lined set constants.

Added in support for tuple constants via additional conditions to the
surrounding quantifier.

Added in optimisation for an assertion on a forall or exists.

Added in optimisation for a tuple load on a constant or known tuple
constructor.
Merge branch 'devel-smt' of github.com:hjwylde/whiley-compiler into devel-smt
Altered length function

Changed the length function from using a generated conjecture to using
nested quantifiers. The nested quantifier approach works better, but
only if we are checking for "UNSAT" results. Checking for a "SAT" result
will always return "UNKNOWN".