The program fdct contains 2 loops, not context sensitive.

The number of iterations of the loops in the program is not input dependent. The no. of iterations are the following:

No. of iterations for main_fdct_L1 = 8
No. of iterations for main_fdct_L2 = 8