anchor.diff:   * Instances of the class `InheritanceManager` manage the knowledge of where class members
    * (methods, getters & setters) are inherited from.
    */
  +@Deprecated('Use InheritanceManager2 instead.')
   class InheritanceManager {
     /**
      * The [LibraryElement] that is managed by this manager.
  
positive.code:    * @return the inherited executable element with the member name, or `null` if no such
     *         member exists
     */
    @deprecated
    ExecutableElement lookupInheritance(
        ClassElement classElt, String memberName) {
      if (memberName == null || memberName.isEmpty) {
  
negative.code:    * @param memberName the name of the class member to query
     * @return a list of overridden methods
     */
    @Deprecated('Use InheritanceManager2.getOverridden() instead.')
    List<ExecutableElement> lookupOverrides(
        ClassElement classElt, String memberName) {
      List<ExecutableElement> result = new List<ExecutableElement>();
  