Added forceCoversAnnotation