@Override
    public void visitDoWhileStatement(@NotNull PsiDoWhileStatement statement) {
      addIfNarrowing(statement.getCondition(), PsiTypes.booleanType());
      super.visitDoWhileStatement(statement);
    }
@Override
    public void visitDoWhileStatement(@NotNull PsiDoWhileStatement statement)