Is your feature request related to a problem?

Right now, the Purity-analysis is not very accurate and can only handle simple FunctionDefs.
Also no values are inferred at the moment.

Desired solution

The next iteration should allow for a more precise analysis, in preparation for further analysis and inferring of source code:
Therefore, we need too correctly:

• Check for ParameterAccess
• Check for AttributeAccess
• Check for InstanceAccess
• Check for GlobalAccess

Possible alternatives (optional)

No response

Screenshots (optional)

No response

Additional Context (optional)

No response