0403_loop_nondet.c:5.4-6.4: [ x in {0} ]
0403_loop_nondet.c:5.4-6.4: [ x in {1} ]
0403_loop_nondet.c:5.4-6.4: [ x in {2} ]
0403_loop_nondet.c:5.4-6.4: [ x in {3} ]
0403_loop_nondet.c:5.4-6.4: [ x in top ]
