Can implicit exit points have another environment

[EagleoutIce]

Currently, we attach corresponding environments to explicit returns with return. But can implicit return values have an active environment that differs from the environment at the end of the function?

(I mean, if we can handle branches etc. correctly with abstract interpretation, we can ignore the other branches when handling the implicit returns.)

[EagleoutIce]

Probably refers to:

https://github.com/Code-Inspect/flowr/blob/e8c4be35d15a41fecaf0b4d487ba9c007c37d16f/src/dataflow/internal/process/functions/functionDefinition.ts#L197

[EagleoutIce]

With #526, we no longer have explicit exit points, they are no longer required.