0213_not.c:6.27-39: [ x in [10;20], y in [30;40] ]
0213_not.c:7.9-21: [ x in [15;20], y in [30;34] ]
