Handling of the bracket type in the IR construction was missing
Minor updates to test result files
Added some tests to exercise generation of pre conditions
Added test case for generation of pre and post conditions
Updated the test execution system with support for execution of tests where the output is a runtime error such as a pre condition failure
Updated the function transformation to take pre and post conditions into account
Updated the function transformation to take pre and post conditions into account
Added transformation that adds the pre and post conditions as methods to the enclosing class
Added transformation that generates the pre condition check
Added the pre/post condition transformations to the Java code generator and did some additional simplification of library classes before they are processed by the IR constructors
The simple version of the command line Java code generator now produces pre/post conditions by default.

Checking of post conditions are left to be done.
Also, it must be possible for the user to enable/disable
this via the IDE.