Changes

Summary

1. -  Inserting assertions for memory allocation failures. -  Addresses (commit: d5a6ac0) (details)

Commit d5a6ac069999a65fad146b2cc7fc88df4f76998a by Victor Bandur -  Inserting assertions for memory allocation failures. -  Addresses #89. (commit: d5a6ac0)
	c/vdmclib/src/main/VdmSet.c (diff)
	c/vdmclib/src/main/PrettyPrint.c (diff)
	c/vdmclib/src/main/VdmSeq.c (diff)
	c/vdmclib/src/main/VdmClass.c (diff)