Artifacts of VDM Annotations #289