Artifacts of VDM Annotations #252