Engineering a static verification tool for GPU kernels