sources/0503_loop_nondet.c:3.2-4.2: [ x in [0;0] ]
sources/0503_loop_nondet.c:3.2-4.2: [ x in [1;1] ]
sources/0503_loop_nondet.c:3.2-4.2: [ x in [2;2] ]
sources/0503_loop_nondet.c:3.2-4.2: [ x in [3;+oo] ]
Output: [ x in [0;+oo] ]