@Override
 public void visitIfStatement(@NotNull GrIfStatement statement) {
   super.visitIfStatement(statement);
   final GrStatement thenBranch = statement.getThenBranch();
   final GrStatement elseBranch = statement.getElseBranch();
   if (thenBranch == null || elseBranch == null) {
     return;
   }
   if (EquivalenceChecker.statementsAreEquivalent(thenBranch, elseBranch)) {
     registerStatementError(statement);
   }
 }