0402_loop_infinite.c:5.4-6.4: [ x in [0;0] ]
0402_loop_infinite.c:5.4-6.4: [ x in [-1;-1] ]
0402_loop_infinite.c:5.4-6.4: [ x in [-2;-2] ]
0402_loop_infinite.c:5.4-6.4: [ x in [-3;-3] ]
0402_loop_infinite.c:5.4-6.4: [ x in [-4;-3] ]
0402_loop_infinite.c:5.4-6.4: [ x in [-5;-3] ]
0402_loop_infinite.c:5.4-6.4: [ x in [-6;-3] ]
0402_loop_infinite.c:5.4-6.4: [ x in [-oo;-3] ]
