Adding some support for effect checking over on a chain of inherited
methods (and added test)