Refine the detection of seemingly infinitely recursive calls where the