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