Comment by vrighter

So you want the program to always halt at some point. How would you write a deterministic test for it?