GPUVerify OpenCL Kernel Interceptor