Added some tests to exercise generation of the call statement when it has arguments of union types
Added generation of the call statement when it has union type arguments
Updated tests and test results related to generation of VDM models that include naming violations
Changed handling of naming violations such that the analysis changes violated names. For example, 'double' is a reserved keyword in Java, but it can be used as (say) a function name in VDM. The analysis now corrects this name to 'cg_double' in the Java code generator.
Updated IDE part of the Java code generator to reflect the most recent changes made to its core part concerning handling of naming violations.
Added generation of the equals definition (e.g. def x = 1 .....)