// PARAM: --enable ana.int.interval
#include <stdlib.h>
#include <assert.h>

int main() {
  unsigned long ul;

  if (ul <= 0UL) {
    __goblint_check(ul == 0UL);
  } else {
    __goblint_check(ul != 0UL);
  }

  if (ul > 0UL) {
    __goblint_check(ul != 0UL);
  } else {
    __goblint_check(ul == 0UL);
  }

  if (! (ul > 0UL)) {
    __goblint_check(ul == 0UL);
  } else {
    __goblint_check(ul != 0UL);
  }

  unsigned int iu;
  if (iu <= 0UL) {
    __goblint_check(iu == 0UL);
  } else {
    __goblint_check(iu != 0UL);
  }

  if (iu > 0UL) {
    __goblint_check(iu != 0UL);
  } else {
    __goblint_check(iu == 0UL);
  }

  if (! (iu > 0UL)) {
    __goblint_check(iu == 0UL);
  } else {
    __goblint_check(iu != 0UL);
  }


  int i;
  if (! (i > 0)) {

  } else {
    __goblint_check(i != 0);
  }

  return 0;
}

// PARAM: --enable ana.int.interval
#include <stdlib.h>
#include <assert.h>

int main() {
  unsigned long ul;

  if (ul <= 0UL) {
    __goblint_check(ul == 0UL);
  } else {
    __goblint_check(ul != 0UL);
  }

  if (ul > 0UL) {
    __goblint_check(ul != 0UL);
  } else {
    __goblint_check(ul == 0UL);
  }

  if (! (ul > 0UL)) {
    __goblint_check(ul == 0UL);
  } else {
    __goblint_check(ul != 0UL);
  }
    
  unsigned int iu;
  if (iu <= 0UL) {
    __goblint_check(iu == 0UL);
  } else {
    __goblint_check(iu != 0UL);
  }

  if (iu > 0UL) {
    __goblint_check(iu != 0UL);
  } else {
    __goblint_check(iu == 0UL);
  }

  if (! (iu > 0UL)) {
    __goblint_check(iu == 0UL);
  } else {
    __goblint_check(iu != 0UL);
  }


  int i;
  if (! (i > 0)) {
    
  } else {
    __goblint_check(i != 0);
  }

  return 0;
}
--- 
+++ 
@@ -22,7 +22,7 @@
   } else {
     __goblint_check(ul != 0UL);
   }
-    
+
   unsigned int iu;
   if (iu <= 0UL) {
     __goblint_check(iu == 0UL);
@@ -45,7 +45,7 @@
 
   int i;
   if (! (i > 0)) {
-    
+
   } else {
     __goblint_check(i != 0);
   }
Remove trailing spaces in test case.
