Delete Check_matrix_loop_invariant.mdl