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

@rajshivu đang làm issue này rồi.

Từ ngày 9/2/2026.

• #145 của @rajshivu — đang mở

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

Bắt đầu bằng cách xác định refinement grammar và phần mã thay thế hoặc kiểm tra các giá trị trả về; issue đề cập đến cả hai nhưng không nêu tên tệp hay test nào. So sánh cách xử lý hiện tại đối với `return` và `_` với cú pháp `$result` được đề xuất, đồng thời xem xét pull request đang mở trước khi bắt đầu. Công việc được xem là hoàn tất khi cú pháp mới hoạt động mà không làm hỏng hành vi hiện có.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.