sources/0217_assign_copy.c:5.0-9: [ y in {12} ]
Output: [ x in {12}, y in {12} ]