Annotation Type Precondition
Indicates that annotations being marked as 
@Precondition are to be treated
 as pre-condition modifying annotations.@Precondition are to be treated
 as pre-condition modifying annotations.