0107_if_var.c:4.16-26: [ x in [0;20] ]
0107_if_var.c:5.9-19: [ x in [-10;-1] ]
