@Override
    public void visitAssertStatement(@NotNull PsiAssertStatement statement) {
      addIfNarrowing(statement.getAssertCondition(), PsiTypes.booleanType());
      addIfNarrowing(statement.getAssertDescription(), PsiType.getJavaLangString(statement.getManager(), statement.getResolveScope()));
      super.visitAssertStatement(statement);
    }
@Override
    public void visitAssertStatement(@NotNull PsiAssertStatement statement)