0212_or.c:6.24-36: [ x in [10;20], y in [30;40] ]
0212_or.c:7.9-21: [ x in [10;14], y in [30;34] ]
