Artifacts of VDM Annotations #274