Artifacts of The VDM Type Checker #167