Added testcase for returning concolic value from MemoryInterceptorAnnotation