0209_cmp_eq_ne.c:6.13-7.2: [ x in {10}, y in {10} ]
0209_cmp_eq_ne.c:7.6-18: [ x in top, y in {10} ]
