CheckBool: refactoring isBoolExpr