@Override
    public void visitPyWithStatement(final @NotNull PyWithStatement node) {
      checkNotReDeclaringUpperLoopOrStatement(node);
    }
@Override
    public void visitPyWithStatement(final @NotNull PyWithStatement node)