Added test for record values
Added comparison of VDM record values and Java code generated record values to the testing system