rule reduction optimization