[Retric]

Except, it's impossible to write something that can tell if code ever stops which would seem like a much simpler problem.