0014_incr.c:4.2-5.2: [ x in [12;12] ]
0014_incr.c:6.2-7.0: [ x in [14;14] ]
