//PARAM: --disable ana.int.def_exc --enable ana.int.interval
int main() {
    int x;

    if(!x) {
        assert(x==0);
    } else {
        assert(x==1); //UNKNOWN!
    }
}

//PARAM: --disable ana.int.def_exc --enable ana.int.interval
int main() {
    int x;

    if(!x) {
    } else {
        assert(x==1); //UNKNOWN!
    }
}

Remove assert that is unknown when runinng only with interval
27/04: Remove assert that is unknown when runinng only with interval
