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