1Regression test for optimizing's boolean simplifier 2that used to trip when a boolean value was the input of an If. 3