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