Simplified and more basic fixpoint iteration for UnreachableEOGPass

[KuechA]

This PR adapts the UnreachableEOGPass to the new fixpoint iteration implementation

[codecov]

Codecov Report

Attention: Patch coverage is 86.76471% with 9 lines in your changes missing coverage. Please review.

Project coverage is 78.24%. Comparing base (edd5068) to head (76afe7a).

Files with missing lines	Patch %	Lines
.../fraunhofer/aisec/cpg/passes/UnreachableEOGPass.kt	86.76%	1 Missing and 8 partials ⚠️

Additional details and impacted files

Files with missing lines	Coverage Δ
.../fraunhofer/aisec/cpg/passes/UnreachableEOGPass.kt	87.36% <86.76%> (-2.11%)	⬇️

... and 3 files with indirect coverage changes

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

[konradweiss]

Generally the changes look adequate, but I noticed that some implementation may have missed in the old and new version.

[konradweiss]

While looking through the code I noticed that we have this explicit handlers for IfStatement and WhileStatement, but not for the other branching Constructs. is that intentional? Are they not Needed for for, foreach, do and switch?

[KuechA]

I'll double-check if some of these statements can be added. I think that some of these do not exist in the current implementation because the ValueEvaluator is still limited (this affects the foreach) and because I wasn't sure how to implement an appropriate comparison (this is the case for the switch).