Changes

Summary

- WIP removing traces of source variable from garbage collector. - (commit: 834fe71) (details)

Commit 834fe71e4efa863eb8903cfc4907c77dad1cbfff by Victor Bandur - WIP removing traces of source variable from garbage collector. - Addresses #123. (commit: 834fe71)
	c/vdmclib/src/main/VdmSeq.h (diff)
	c/vdmclib/src/main/VdmGC.c (diff)
	c/vdmclib/src/main/TypedValue.c (diff)
	c/vdmclib/src/test/ExpressionsNumeric_Tests.cpp (diff)
	c/vdmclib/src/main/VdmBasicTypes.h (diff)
	c/vdmclib/src/test/ExpressionsSet_Tests.cpp (diff)
	c/vdmclib/src/main/VdmMap.c (diff)
	c/vdmclib/src/main/VdmSeq.c (diff)
	c/vdmclib/src/test/GC_Tests.cpp (diff)
	c/vdmclib/src/main/VdmGC.h (diff)
	c/vdmclib/src/main/VdmMap.h (diff)
	c/vdmclib/src/main/VdmProduct.c (diff)
	c/vdmclib/src/main/VdmClass.h (diff)
	core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
	c/vdmclib/src/main/VdmSet.h (diff)
	c/vdmclib/src/main/TypedValue.h (diff)
	c/vdmclib/src/main/VdmBasicTypes.c (diff)
	c/vdmclib/src/main/VdmProduct.h (diff)
	c/vdmclib/src/main/VdmSet.c (diff)