// SKIP PARAM: --set ana.activated[+] apron --enable ana.int.interval_set --set ana.apron.domain polyhedra
// Example from https://www-apr.lip6.fr/~mine/publi/article-mine-HOSC06.pdf, adapted
#include <goblint.h>

void main(void) {
  int X = 0;
  int N = rand();
  if(N < 0 || N > 10000) { N = 0; }

  X = 2 * N;

  __goblint_check(X - 2 * N == 0);
  __goblint_check(X == 2 * N);

  if(X == 2 * N) {
    N = 8;
  } else {
    N = 42; //DEAD
  }

}
