+ ReturnBoolChecker: if (expr) return true; else return false;