Adjust reachability export for same-name-and-parameters-methods

[ChristophTF]

There can be methods that only differ in their return type and the reachability export will only contain a random one of such a set.

Either:

• Represent methods as array of structured JSON objects, adjust parsing
• Add return type as suffix
• Document this as a minor limitation of the current implementation