0014_incr.c:4.2-5.2: [ x in {12} ]
0014_incr.c:6.2-7.0: [ x in {14} ]
