- OK': means that GNAT generates correct run-time checks
- num_of_cks: total number of run-time checks generated for the AST, num_of_cks = division_cks + overflow_cks + range_cks
- division_cks: number of division checks
- overflow_cks: number of overflow checks
- range_cks: number of range and out of bound checks