0209_cmp_eq_ne.c:6.13-7.2: [ x in [10;10], y in [10;10] ]
0209_cmp_eq_ne.c:7.6-18: [ x in [11;15], y in [10;10] ]
