implement rule shadowing optimization (probably makes building HiCuts tree incredibly slow ...)