code style, contratc.requires, inspections