Changes

Summary

1. Update runtime to support a larger number of function arguments (commit: 3acd03c) (details)
2. Assume that the address is passed to SELF_GC (commit: 266d21a) (details)
3. Clean up PaperExampleTests (commit: 331ddc6) (details)

Commit 3acd03ce17e2f0643c44645041d24b3fb2503126 by Peter W. V. Tran-Jørgensen Update runtime to support a larger number of function arguments (commit: 3acd03c)
	c/vdmclib/src/main/VdmClass.h (diff)
Commit 266d21a17b02fc7f15209b35d369a20e7d85e7fa by Peter W. V. Tran-Jørgensen Assume that the address is passed to SELF_GC (commit: 266d21a)
	core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
	c/vdmclib/src/main/VdmClass.h (diff)
Commit 331ddc6e84c4fadbc26ea83ee6154638fd5e0b1b by Peter W. V. Tran-Jørgensen Clean up PaperExampleTests (commit: 331ddc6)
	core/vdm2c/src/test/java/org/overture/codegen/vdm2c/PaperExampleTests.java (diff)