Detecting and Classifying Nonconformances in Code Contracts With ContractOK. ECOP 2022, 2 (5).