Node redundancy on range cut is done. Bugs on rule redundancy checking?
Need to check seed_acl.txt.
Corrected a bug in range_bits_cover() in bitband.c, r.hi/r.lo was
mistakenly written as border in the lese branches. This correction
help reduce #nodes by 30%. But big nodes after level 3 still exists,
need handle it tomorrw.