Change `return` to `$result` for method return values in refinements

@rajshivu ci sta già lavorando.

Dal 9/2/2026.

• #145 di @rajshivu — aperta

`return` is a statement, and it's strange to have it as a variable to represent the return value.
Therefore, we could change it for `result`. But since result can be an actual variable that represents something other than the return value we, we can try using `$result`.

This would mean a small change in the grammar, probably, and a change in replacing the return value.
Ps: the _ should still work in any case

Example Before:
```java
@Refinement("return > 0")
int test2 (){
return 10;
}
```
Example After:
```java
@Refinement("$result > 0")
int test2 (){
return 10;
}
```

Inizia individuando la grammatica di refinement e il codice che sostituisce o controlla i valori restituiti; l’issue menziona entrambi, ma non indica file o test. Confronta la gestione esistente di `return` e `_` con la sintassi `$result` proposta e considera la pull request aperta prima di iniziare. Il lavoro è completo quando la nuova sintassi funziona senza compromettere il comportamento esistente.

Scritto dal modello di indicizzazione a partire dal testo della issue.