path: root/tests/results/0324_if_not.intervals.txt

sources/0324_if_not.c:3.25-37: [ x in [10;20], y in [30;40] ]
sources/0324_if_not.c:4.7-19: [ x in [15;20], y in [30;34] ]
Output: [ x in [10;20], y in [30;40] ]