1 Regression test for Optimizing's GraphChecker which used to verify the internal 2 type of a boolean input.