// PARAM: --enable ana.int.interval --set exp.unrolling-factor 5 --set ana.base.arrays.domain unroll --set ana.base.arrays.unrolling-factor 5  --enable dbg.run_cil_check
// Simple example
#include <goblint.h>

void main(void)
{
    int j = 0;

    for(int i=0;i < 50;i++) {
        if(i < 2) {
            continue;
        }
        if(i>4) {
            break;
        }
        j++;
    }

    __goblint_check(j==3);
}
