path: root/tests/results/0103_local.constants.txt

sources/0103_local.c:4.2-5.0: [ x in {12}, y in {9} ]
Output: [ x in {12} ]