I am running into the same problem for large reports that have an iterative loop but are updated by adding an extra user requested field or report (for multiple report programs). I would like to know if anyone knows how I can check for an infinite loop in the program without having to ruin my eyes looking through the logic myself. Is there a software out there that reads FOCUS language and can let me know if the program will stay stuck in the loop without using precious system resources?

If you look at the FEX in Developer Studio's Task Manager, and use the Logical view, it will indicate the looping structure of the Fex, and you might be able to put in a counter where you see the loop to exit at some number..
e.g. -SET CNT=CNT+1;
-IF CNT GE 1000 GOTO EXIT ;