BUILD: updated dependency from jasm v0.1.1 to jasm v0.1.3
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