The program cover 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_swi10_L1 = 10
No. of iterations for main_swi50_L1 = 50
No. of iterations for main_swi120_L1 = 120