Prevent following recursive calls
Add tests exposing problems with overrides
Fix displaying of overridden methods in warnings
Work around `super.` invocations