Regression test for optimizing that used to not accept
HDivZeroCheck taking a boolean.