Artifacts of VDM Annotations #290