CLOP again null_reduction() (3165463)
This time CLOP-timize the formula with depth >= 2 precondition, and in 4.8+0.04 instead of 2.4+0.02. Hopefully the new formula is more scalable. It's a little more conservative, which I like.
Merge branch 'master' into book