Artifacts of VDM Annotations #30