annotaded (semi) defect tests