Removed incorrect hack that allowed covariant return type when
overriding methods defined in class files.  Added relevant test cases.

Better isInherited implementation.