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

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:

@Refinement("return > 0") 
int test2 (){
    return 10;
}

Example After:

@Refinement("$result > 0") 
int test2 (){
    return 10;
}

Commencez par localiser la grammaire de raffinement et le code qui remplace ou vérifie les valeurs de retour ; l’issue mentionne les deux, mais ne nomme aucun fichier ni test. Comparez la gestion existante de return et de _ avec la syntaxe $result proposée, et tenez compte de la pull request ouverte avant de commencer. C’est terminé lorsque la nouvelle syntaxe fonctionne sans modifier le comportement existant.