Only preventative measures! One would know enough, for example, not to try to construct a static analysis tool to helpfully tell the user if their code will inadvertently loop infinitely. Imagine running the tool on itself.