Refine static analysis for Object type hierarchy #117
Description
Is your feature request related to a problem? Please describe.
In the case of types with a huge hierarchy (like Object type), we get too many types in the hierarchy including infeasible/irrelevant ones. This causes CTD and subsequent test generation to generate many infeasible test cases.
Describe the solution you'd like
We need to refine the analysis.
A clear and concise description of what you want to happen.
Describe alternatives you've considered
A clear and concise description of any alternative solutions or features you've considered.
Additional context
Add any other context or screenshots about the feature request here.