Artifacts of The VDM Type Checker #289