Artifacts of The VDM Type Checker #252