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

@rajshivu 已經在處理了。

開始於 2026年2月9日。

• #145 來自 @rajshivu —— 未關閉

`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;
}
```

首先定位 refinement grammar，以及替換或檢查回傳值的程式碼；issue 提到了兩者，但沒有指出檔案或測試。將現有對 `return` 和 `_` 的處理方式與提議的 `$result` 語法進行比較，並在開始前考慮已開啟的 pull request。完成的標準是新語法能夠正常運作，且不會破壞現有行為。

由索引模型根據 Issue 內容生成。