Cleanup of SymbolResolver

[oxisto]

Unfortunatly, this cannot really be split into smaller pieces. It basically does the following:

• Move all inference related functions out of the symbol resolver and into a separate helper file
• Remove unnecessary calls to resolve member expressions in handleReference

I can try to add the needed language trait in a separate PR (see #1778). This also needs smaller adjustments in the python and typescript frontend. Mostly tests that previously asserted the "wrong" thing, are now asserting the correct resolution.

Fixes #1769

[codecov]

Codecov Report

Attention: Patch coverage is 85.96491% with 24 lines in your changes missing coverage. Please review.

Please upload report for BASE (main@b7cfbdf). Learn more about missing BASE report.
Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
...raunhofer/aisec/cpg/passes/inference/PassHelper.kt	80.61%	8 Missing and 11 partials ⚠️
...n/de/fraunhofer/aisec/cpg/passes/SymbolResolver.kt	90.32%	0 Missing and 3 partials ⚠️
...lin/de/fraunhofer/aisec/cpg/passes/TypeResolver.kt	97.22%	0 Missing and 1 partial ⚠️
...ofer/aisec/cpg/passes/PythonAddDeclarationsPass.kt	83.33%	1 Missing ⚠️

Additional details and impacted files

Files with missing lines	Coverage Δ
...kotlin/de/fraunhofer/aisec/cpg/graph/types/Type.kt	75.00% <ø> (ø)
...lin/de/fraunhofer/aisec/cpg/passes/TypeResolver.kt	96.15% <97.22%> (ø)
...ofer/aisec/cpg/passes/PythonAddDeclarationsPass.kt	78.57% <83.33%> (ø)
...n/de/fraunhofer/aisec/cpg/passes/SymbolResolver.kt	88.02% <90.32%> (ø)
...raunhofer/aisec/cpg/passes/inference/PassHelper.kt	80.61% <80.61%> (ø)

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[KuechA]

I think that it would be great if we could document some of the assumptions and the expected results. Doesn't necessarily have to be in the kdoc of the methods but a md for the docs page would be a good option too