Range redundancy is not correct, need to rewrite this part.
Revising code on node redundancy of port cuts
Node redundancy checking with range fields now works, but still cannot
find some situations, e.g.,

[17687<-11587#10]@4: d3-b0-v0 | d3-b1-v2
[  0] @0f.00.00.00/08  00.00.00.00/00  0000 : ffff   0000 : ffff   0x00/0x00
[ 43] @c0.97.0b.2b/32  0f.00.78.04/32  0000 : ffff   0000 : 0513   0x06/0xFF
[ 44] @c0.97.0b.2b/32  0f.00.78.04/32  0000 : ffff   0000 : 0546   0x06/0xFF
[147] @c0.97.0a.00/23  0f.00.78.2f/32  0000 : ffff   0000 : ffff   0x06/0xFF
[605] @00.00.00.00/00  0f.00.00.00/08  0000 : ffff   0000 : ffff   0x00/0x00

[17688<-11587#10]@4: d3-b0-v0 | d3-b1-v3
[  0] @0f.00.00.00/08  00.00.00.00/00  0000 : ffff   0000 : ffff   0x00/0x00
[ 43] @c0.97.0b.2b/32  0f.00.78.04/32  0000 : ffff   0000 : 0513   0x06/0xFF
[ 44] @c0.97.0b.2b/32  0f.00.78.04/32  0000 : ffff   0000 : 0546   0x06/0xFF
[147] @c0.97.0a.00/23  0f.00.78.2f/32  0000 : ffff   0000 : ffff   0x06/0xFF
[605] @00.00.00.00/00  0f.00.00.00/08  0000 : ffff   0000 : ffff   0x00/0x00

[17689<-11587#10]@4: d3-b0-v0 | d3-b1-v4
[  0] @0f.00.00.00/08  00.00.00.00/00  0000 : ffff   0000 : ffff   0x00/0x00
[ 43] @c0.97.0b.2b/32  0f.00.78.04/32  0000 : ffff   0000 : 0513   0x06/0xFF
[ 44] @c0.97.0b.2b/32  0f.00.78.04/32  0000 : ffff   0000 : 0546   0x06/0xFF
[147] @c0.97.0a.00/23  0f.00.78.2f/32  0000 : ffff   0000 : ffff   0x06/0xFF
[605] @00.00.00.00/00  0f.00.00.00/08  0000 : ffff   0000 : ffff   0x00/0x00

[17690<-11587#10]@4: d3-b0-v1 | d3-b1-v2
[  0] @0f.00.00.00/08  00.00.00.00/00  0000 : ffff   0000 : ffff   0x00/0x00
[ 43] @c0.97.0b.2b/32  0f.00.78.04/32  0000 : ffff   0000 : 0513   0x06/0xFF
[ 44] @c0.97.0b.2b/32  0f.00.78.04/32  0000 : ffff   0000 : 0546   0x06/0xFF
[147] @c0.97.0a.00/23  0f.00.78.2f/32  0000 : ffff   0000 : ffff   0x06/0xFF
[605] @00.00.00.00/00  0f.00.00.00/08  0000 : ffff   0000 : ffff   0x00/0x00

[17691<-11587#10]@4: d3-b0-v1 | d3-b1-v3
[  0] @0f.00.00.00/08  00.00.00.00/00  0000 : ffff   0000 : ffff   0x00/0x00
[ 43] @c0.97.0b.2b/32  0f.00.78.04/32  0000 : ffff   0000 : 0513   0x06/0xFF
[ 44] @c0.97.0b.2b/32  0f.00.78.04/32  0000 : ffff   0000 : 0546   0x06/0xFF
[147] @c0.97.0a.00/23  0f.00.78.2f/32  0000 : ffff   0000 : ffff   0x06/0xFF
[605] @00.00.00.00/00  0f.00.00.00/08  0000 : ffff   0000 : ffff   0x00/0x00

[17692<-11587#10]@4: d3-b0-v1 | d3-b1-v4
[  0] @0f.00.00.00/08  00.00.00.00/00  0000 : ffff   0000 : ffff   0x00/0x00
[ 43] @c0.97.0b.2b/32  0f.00.78.04/32  0000 : ffff   0000 : 0513   0x06/0xFF
[ 44] @c0.97.0b.2b/32  0f.00.78.04/32  0000 : ffff   0000 : 0546   0x06/0xFF
[147] @c0.97.0a.00/23  0f.00.78.2f/32  0000 : ffff   0000 : ffff   0x06/0xFF
[605] @00.00.00.00/00  0f.00.00.00/08  0000 : ffff   0000 : ffff   0x00/0x00

[17693<-11587#10]@4: d3-b0-v1 | d3-b1-vf
[  0] @0f.00.00.00/08  00.00.00.00/00  0000 : ffff   0000 : ffff   0x00/0x00
[ 40] @c0.97.0b.2b/32  0f.00.78.04/32  0000 : ffff   05f1 : 05f1   0x06/0xFF
[ 43] @c0.97.0b.2b/32  0f.00.78.04/32  0000 : ffff   0000 : 0513   0x06/0xFF
[147] @c0.97.0a.00/23  0f.00.78.2f/32  0000 : ffff   0000 : ffff   0x06/0xFF
[605] @00.00.00.00/00  0f.00.00.00/08  0000 : ffff   0000 : ffff   0x00/0x00

[17694<-11587#10]@4: d3-b0-v2 | d3-b1-v2
[  0] @0f.00.00.00/08  00.00.00.00/00  0000 : ffff   0000 : ffff   0x00/0x00
[ 43] @c0.97.0b.2b/32  0f.00.78.04/32  0000 : ffff   0000 : 0513   0x06/0xFF
[ 44] @c0.97.0b.2b/32  0f.00.78.04/32  0000 : ffff   0000 : 0546   0x06/0xFF
[147] @c0.97.0a.00/23  0f.00.78.2f/32  0000 : ffff   0000 : ffff   0x06/0xFF
[605] @00.00.00.00/00  0f.00.00.00/08  0000 : ffff   0000 : ffff   0x00/0x00

[17695<-11587#10]@4: d3-b0-v2 | d3-b1-v3
[  0] @0f.00.00.00/08  00.00.00.00/00  0000 : ffff   0000 : ffff   0x00/0x00
[ 43] @c0.97.0b.2b/32  0f.00.78.04/32  0000 : ffff   0000 : 0513   0x06/0xFF
[ 44] @c0.97.0b.2b/32  0f.00.78.04/32  0000 : ffff   0000 : 0546   0x06/0xFF
[147] @c0.97.0a.00/23  0f.00.78.2f/32  0000 : ffff   0000 : ffff   0x06/0xFF
[605] @00.00.00.00/00  0f.00.00.00/08  0000 : ffff   0000 : ffff   0x00/0x00
on the way of an improvement on node redundancy for port cuts.
First run on port
Port check on node redundancy is done. Now two many intermediate
nodes in the tree, e.g. many @3 nodes have very similar cuts
among each other, try to merge these itermediate nodes.