Artifacts of The VDM Type Checker The VDM Type Checker