Implement initial PoC for checking return values

[fwendland]

In some cases API calls generate values from configurations that are not part of the source code (such as configuration files). To ensure that subsequent code adheres to set requirements, it's necessary to code some kind of check.

This PoC evaluates these checks to ensure requirements are met and to reduce false-positives.

[codecov]

Codecov Report

Attention: Patch coverage is 54.38596% with 208 lines in your changes are missing coverage. Please review.

Project coverage is 75.52%. Comparing base (2655ff3) to head (9ec8694).
Report is 1 commits behind head on main.

❗ Current head 9ec8694 differs from pull request most recent head 4ebf323. Consider uploading reports for the commit 4ebf323 to get more accurate results

Files	Patch %	Lines
...ckends/cpg/coko/evaluators/CpgWheneverEvaluator.kt	47.66%	87 Missing and 14 partials ⚠️
...sec/codyze/backends/cpg/coko/dsl/DataItemCpgDsl.kt	10.52%	15 Missing and 2 partials ⚠️
.../specificationLanguages/coko/core/dsl/Condition.kt	41.66%	14 Missing ⚠️
...ificationLanguages/coko/core/modelling/DataItem.kt	44.00%	11 Missing and 3 partials ⚠️
...nguages/coko/core/modelling/ConditionComponents.kt	60.00%	12 Missing ⚠️
...cificationLanguages/coko/core/WheneverEvaluator.kt	42.10%	11 Missing ⚠️
.../codyze/backends/cpg/coko/dsl/ImplementationDsl.kt	47.36%	7 Missing and 3 partials ⚠️
...ecificationLanguages/coko/dsl/host/CokoExecutor.kt	64.00%	2 Missing and 7 partials ⚠️
...ionLanguages/coko/core/dsl/TransformationResult.kt	33.33%	8 Missing ⚠️
...cationLanguages/coko/dsl/host/ConceptTranslator.kt	92.85%	1 Missing and 4 partials ⚠️
... and 3 more

Additional details and impacted files

@@             Coverage Diff              @@
##               main     #846      +/-   ##
============================================
- Coverage     82.39%   75.52%   -6.87%     
- Complexity      179      223      +44     
============================================
  Files            49       58       +9     
  Lines          1363     1802     +439     
  Branches        184      246      +62     
============================================
+ Hits           1123     1361     +238     
- Misses          157      329     +172     
- Partials         83      112      +29     

Flag	Coverage Δ
unittests	75.52% <54.38%> (-6.87%)	⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

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

[fwendland]

We'll merge it as an experimental feature!