sources/0315_cmp_gt.c:3.10-22: [ x in [16;20], y in [15;19] ]
Output: [ x in [10;20], y in [15;30] ]