Is your feature request related to a problem?

The parameterName set in an impurity reason should point to a parameter of the annotated function.

Desired solution

Add validation to check this.

Possible alternatives (optional)

No response

Screenshots (optional)

No response

Additional Context (optional)

No response