候选影响区不等于敏感区

greedy witness span 只说明某次相邻交换“值得检查”，不能推出它一定改变判定；局部窗口应被视为候选影响区，而不是充分敏感集。