#include<stdio.h>
#include<assert.h>

int main () {
  int i,j,k;

  i = k = 0; j = 7;
  while (i < 10) {
    i++;
    j = 7;
    k = 5;
  }
  // assert(i == 10); // UNKNOWN!
  // Removed this assertion as it is specific to flat ints and fails as soon as intervals or octagons correctly determine this
  assert(k);  // UNKNOWN!
  // k is currenlty 0 \sqcup 5, if we unfolded the loops it would be 5
  assert(j==7);
  return 0;
}

#include<stdio.h>
#include<assert.h>

int main () {
  int i,j,k;

  i = k = 0; j = 7;
  while (i < 10) {
    i++;
    j = 7;
    k = 5;
  }
  assert(i == 10); // UNKNOWN!
  assert(k);  // UNKNOWN!
  // k is currenlty 0 \sqcup 5, if we unfolded the loops it would be 5
  assert(j==7);
  return 0;
}

--- 
+++ 
@@ -10,7 +10,8 @@
     j = 7;
     k = 5;
   }
-  assert(i == 10); // UNKNOWN!
+  // assert(i == 10); // UNKNOWN!
+  // Removed this assertion as it is specific to flat ints and fails as soon as intervals or octagons correctly determine this
   assert(k);  // UNKNOWN!
   // k is currenlty 0 \sqcup 5, if we unfolded the loops it would be 5
   assert(j==7);
Remove assert specific to flat ints that will fail when using more poerful domain
