Regression test for optimizing boolean simplifier.