Artifacts of VDM Annotations #165