1# Bug: x>7 & x<2 (which should produce 0) was wrongly optimized
2# with the same rule that works for e.g. x>7 & x<13
3# Introduced in commit ________
4# Fixed in commit e42268a289f256104c01c15873f2d63eac3a95b2
5T=d li
6V=x
7R=-9,9,1
8F=x>7 & x<2
9C=x-x
10