Changes

Summary

- Another segfault bugfix. - AlarmPP model now can be inspected using (commit: a29ce89) (details)

Commit a29ce893aa117788dd5911fdd96ece1c70f04947 by Victor Bandur - Another segfault bugfix. - AlarmPP model now can be inspected using valgrind's massif. - Addresses #89. (commit: a29ce89)
	c/vdmclib/src/main/VdmGC.c (diff)