Artifacts of VDM Annotations #288