Is your feature request related to a problem?

For our execution concept, knowledge about the purity of functions is essential. We should ensure that all functions provide this information.

Desired solution

Show an error if a function is neither @Pure nor @Impure. Also show an error if a function is marked as @Impure, but allReasons is empty.

Possible alternatives (optional)

No response

Screenshots (optional)

No response

Additional Context (optional)

No response