Clean-up. modified: NativeTests.launchmodified: src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.javamodified: src/main/java/org/overture/codegen/vdm2c/utils/GlobalFieldUtil.java (commit: 960b658)