The program edn contains 3 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_expint_L1 = 0
No. of iterations for main_expint_L2 = 100
Maximum no. of iterations per invocation for main_expint_L2_L1 is 49, sum is 49