sources/0506_loop_limit.c:5.0-9: [ x in [0;+oo] ]
Output: [ x in [0;+oo] ]