boolean ( GrIfStatement ifStatement, GrMethod method) { final GrExpression condition = ifStatement.getCondition(); if (condition == null) return false; if (expressionDefinitelyRecurses(condition, method)) { return true; } final GrStatement thenBranch = ifStatement.getThenBranch(); final GrStatement elseBranch = ifStatement.getElseBranch(); if (thenBranch == null || elseBranch == null) { return false; } return statementDefinitelyRecurses(thenBranch, method) && statementDefinitelyRecurses(elseBranch, method); }