Add more test cases to check loop invariance of the base pointer.