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