Add test cases for CheckBufferOverrun on two-statement loop