WYCS: bug fix for error reporting.
WYCS: making slow progress ...
WYCS: working on debugging various problems.
WYIL: using an alternative translation for records for now.
WYCS: bug fix for parsing assert statements.
WYCS: bug fix for wycs.core.Map
WYIL: tweak for representation of wyil records in wycs.
WYIL: bug fix for invalidated variables caused by modified operands around a loop.
WYCS: hack workaround for modified operands.
WYCS: added support for inferring that the length of a set is always an integer greater than zero.
WYCS: added another test case which is causing problems.
WYCS: bug fix for constraint inline and quantification.
WYIL: various minor tweaks
WYCS: making some kind of progress
added missing test
WYCS: minor tweaks to the way that lengthof is handled.
WYCS: added new test cases.
WYCS: added file for the new test case!!
WYCS: minor tweak for debugging output.
WYCS: adding support for type constraints and, implicitly, pre and postconditions for functions.