// PARAM: --sets solver td3
void main(void) {
    int x;
    int i = 41;

    while(i >= 12) {
        x = 0;
        i--;
    }
}

// PARAM: --sets solver td3
void main(void) {
    int x;
    int i = 41;

    while(i >= 12) {
        x = 0;
        i--;
    }

    int y;
    int j = -40;

    while(-5 >= j) {
        y = 0;
        j++;
    }
}

Add further problematic example where positive half is excluded
Def_Exc: Add further problematic example where positive half is excluded
