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