Artifacts of Core Tools for vdm2c #172