Update to test results related to generation of pre and post conditions. There is no need to clone arguments passed to pre/post checks,
Added tag to generated pre/post checks to avoid unnecessary cloning of value types
Minor fix: References to external types should use the external type construct
Updates to test results:  Minor improvement to the generation of the toString method  of a class
Minor improvement to generation of the toString method of Java classes