Annotation-Based Design by Contract Library