1Regression test for optimizing boolean simplifier.
2