0100_if_true.c:5.2-6.0: [ x in [1;1] ]
