determining whether a program is going to run forever