// SKIP PARAM: --enable ana.int.interval_set --set ana.base.arrays.domain partitioned --set ana.activated[+] apron
// These examples were cases were we saw issues of not reaching a fixpoint during development of the octagon domain. Since those issues might
// resurface, these tests without asserts are included
// NOCHECK
int main(int argc, char const *argv[])
{
    int a[256];
    int i = 0;
    int zPend = 0;
    int ll_i;
    int nblock;

    while (i < nblock)
    { // TO-DO: Here
        if (a[0] == ll_i) // this needs to be var == var for the problem to occur
        {
            zPend++;
        }
        else
        {
            a[0] = 8;
        }

        i++;
    }

    return 0;
}
