sources/0505_loop_rel2.c:4.2-5.2: [ x in [0;0], N in [1;1000] ]
sources/0505_loop_rel2.c:4.2-5.2: [ x in [0;3], N in [1;1000] ]
sources/0505_loop_rel2.c:4.2-5.2: [ x in [0;6], N in [1;1000] ]
sources/0505_loop_rel2.c:4.2-5.2: [ x in [0;999], N in [1;1000] ]
sources/0505_loop_rel2.c:7.0-22: ERROR: assertion failure
Output: [ N in [0;1000], x in [0;1002] ]