Verifier get stuck on nested-loops termination check

[absagar1]

Unable to get past the verifier with the loops shown below. It causes the verifier to keep running and not finish.

`int loop_test() {
int sum;

for (int i = 0; i < 11; i++) { // WORKAROUND: Removing this loop allows verification to finish in ~1.5mins
    for (int j = 0; j < 11; j++) {
        for (int k = 0; k < 16; k++) {
            for (int l = 0; l < 16; l++) {
                for (int m = 0; m < 3; m++) {
                    for (int n = 0; n < 3; n++) {
                       // do some processing which relies on each loop iteration.
                        int idx = (i + j + k + l + m + n) % TOTAL_MYMAP_ENTRIES;
                        uint8_t* x_ptr = bpf_map_lookup_elem(&mymap, &idx);
                        if (x_ptr != NULL) {
                            sum += *x_ptr;
                        }
                    }
                }
            }
        }
    }
}

return sum;

}`