/test/468-checker-bool-simplif-regression/src/