ScopDetect: Test case to verify that base pointers are scop invariant