<commit_before>// 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;
}<commit_msg>Remove trailing spaces in test case.<commit_after>// 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;
}
{'fraction_non_alphanumeric': 0.17647058823529413, 'fraction_numerical': 0.0244612696563774, 'mean_word_length': 2.37524557956778, 'pattern_counts': {'":': 0, '<': 11, '<?xml version=': 0, '>': 17, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1076154', 'n_tokens_mistral': 824, 'n_tokens_neox': 758, 'n_words': 153}