Add test cases for CheckBufferOverrun on two-statement loop (bis)