Updated the the test results for the 'complex expression' tests
Updates to test results where the logical 'and' is used
Updated the expression assistant with some utility functionality
Changed logging and added a some documentation for the union type transformation
Added a few more tests to exercise generation of the and expression
Added a transformation for the 'and' expression
Refactoring of the and expression transformation
Added four tests to exercise the transformation and generation of the 'or' expression
Added transformation for the or expression
Extended the transformation assistant with new utility functionality for finding the enclosing statement of a node
Removed outdated test that will be replaced
Added two tests to exercise a transformation of the while statement that treats the case where the while condition is a complex expression that itself requires a transformation (e.g. a quantified expression).
Added a transformation for the while statement to handle the case where the condition is a complex expression that also requires a transformation. This expression requires special treatment since it is evaluated repeatedly
Changed the VDMMap and VDMSet to use LinkedHashMap and LinkedHashSet, respectively, to get determistic iteration
Updated the Java IO runtime class to print out values in a more Overture-like format
Updated the string representations of type/value runtime classes to look like those used in Overture
Merge remote-tracking branch 'origin/ncb/development' into pvj/main
Removed "Experimental" note in the title bar of the "about" message box
Removed FIXME that has been dealt with
Fix: Some nodes that are currently unsupported by the code generator were not registered as unsupported nodes as they should