Artifacts of VDM Annotations #276