Add support for generic information retrieved from signatures of nested methods

[CaelmBleidd]

Description

This request adds support for generic information when we process nested methods. If we pass an object as a parameter and know type information from signatures about this parameter, we will add it to avoid path explosion because of the types.

Fixes #1613

Type of Change

• New feature (non-breaking change which adds functionality)

How Has This Been Tested?

Regression and integration tests

Added a new package called generics

Automated Testing

org.utbot.examples.types.Generics

Manual Scenario

You can run generation for the methods I mentioned with enabled visualization, and see, that there is no additional virtual invokes because of absent type information.

Checklist:

• The change followed the style guidelines of the UTBot project
• Self-review of the code is passed
• The change contains enough commentaries, particularly in hard-to-understand areas
• New documentation is provided or existed one is altered
• No new warnings
• New tests have been added
• All tests pass locally with my changes