0300_assert_true.c:5.2-6.0: [ x in [2;2] ]
