0107_if_var.c:4.16-26: [ x in top ]
0107_if_var.c:5.9-19: [ x in top ]
