HV-740

Still needs more tests. Also need to take care of: 
> The rules above do not apply to methods overriding a superclass method or implementing an interface method. In this case, the method inherits the behavior of the method it overrides / implements.
However, I am not sure whether this makes even sense.