Annotation Type Precondition