// PARAM: --enable ana.int.interval --disable ana.int.def_exc --disable ana.int.enums
void main(){
  int n = 7;
  for (; n; n--) {
      assert(n==1); // UNKNOWN!
  }
  int i;
  if(i-1){
    assert(i==2); // UNKNOWN
  }
  return;
}

// PARAM: --enable ana.int.interval --disable ana.int.def_exc --disable ana.int.enums
void main(){
  int n = 7;
  for (; n; n--) {
      assert(n==1); // UNKNOWN!
  }
  int i;
  if(i-1){
    assert(i==2); // UNKNOWN!
  }
  return;
}

Fix tests 01/35: Any int != 0 evaluates to true
Fix tests 01/35: Any int  != 0 evaluates to true
