I suggest `CV_Assert(ocn >= cn)`