https://hgpu.org/?p=17389
Termination Analysis for GPU Kernels