// SKIP PARAM: --sets ana.activated[+] octApron
#include <assert.h>

void main() {
  int x;
  if (x <= 10) {
    assert((x / 3) <= 3);
  }
}

Add test where octApron derives non-integer bounds
Add test where octApron derives non-integer bounds
