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