CheckBufferOverrun: Removed old for-loop handling. This is handled through ValueFlow from now on.