Fix getters serialization

[4e6]

Pull Request Description

close #9429

Changelog:

• fix: serialization of getter methods

Important Notes

Returns a correct suggestion for the count getter

{
  "type":"Add",
  "id":248,
  "suggestion":{
    "type":"method",
    "module":"Standard.Base.Data.Index_Sub_Range",
    "name":"count",
    "arguments":[
      {
        "name":"self",
        "reprType":"Standard.Base.Data.Index_Sub_Range.Index_Sub_Range",
        "isSuspended":false,
        "hasDefault":false,
        "defaultValue":null,
        "tagValues":null
      }
    ],
    "selfType":"Standard.Base.Data.Index_Sub_Range.Index_Sub_Range",
    "returnType":"Standard.Base.Data.Numbers.Integer",
    "isStatic":false,
    "annotations":[ ]
  }
}

Checklist

Please ensure that the following checklist has been satisfied before submitting the PR:

• The documentation has been updated, if necessary.
• All code follows the
  Scala,
  Java,
  and
  Rust
  style guides. In case you are using a language not listed above, follow the Rust style guide.
• All code has been tested:
  • Unit tests have been written where possible.
  • If GUI codebase was changed, the GUI was tested when built using ./run ide build.

[hubertp]