O que acontece é que variáveis locais e globais têm escopos diferentes. A variável global é acessível em qualquer parte do código, enquanto a variável local só existe dentro da função onde foi definida. Quando Ana definiu uma variável com o mesmo nome dentro da função, ela criou uma nova variável local que "sombra" a variável global. Assim, ao final da execução, mesmo que ambas tenham o mesmo nome, elas são diferentes porque pertencem a escopos distintos. Portanto, a variável local não altera o valor da variável global.