Artifacts of The VDM Type Checker #28