<commit_before>// PARAM: --sets solver td3
void main(void) {
    int x;
    int i = 41;

    while(i >= 12) {
        x = 0;
        i--;
    }
}<commit_msg>Def_Exc: Add further problematic example where positive half is excluded<commit_after>// PARAM: --sets solver td3
void main(void) {
    int x;
    int i = 41;

    while(i >= 12) {
        x = 0;
        i--;
    }

    int y;
    int j = -40;

    while(-5 >= j) {
        y = 0;
        j++;
    }
}
{'fraction_non_alphanumeric': 0.15065502183406113, 'fraction_numerical': 0.034934497816593885, 'mean_word_length': 1.481081081081081, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 6, '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': '3304094', 'n_tokens_mistral': 188, 'n_tokens_neox': 167, 'n_words': 53}