[Bug] Fault effects might use wrong member

[axel-habermaier]

Fault effects might potentially use a wrong member when the member is new'ed by a fault effect that is higher in the transformed type hierarchy. The underlying reason is that the original code binds the fault effect to the original member (because the new'ed one is not in scope as there is no inheritance relation), but the transformed code binds to the new'ed member as the new'ed one is closer once the inheritance hierarchy implementing the fault effects is formed.

Possible resolutions:

1. (Easy solution) Forbid such (very unlikely) situations with the help of an analyzer.
2. (Hard solution) Transform the code so that the correct member is used; might not be generally possible in all situations.