anchor.diff:        types.withMember(member, () => analyze(member));
       });
       reporter.log('Added $addedInGraph elements in inferencing graph.');
  -  }
  -
  -  /// Compute a 'size' of [member] used for sorting member for the type
  -  /// inference work-queue. Smallest members are processed first.
  -  int computeMemberSize(MemberEntity member) {
  -    // TODO(johnniwinther): Find an ordering that can be shared between the
  -    // front ends.
  -    return 0;
     }
   
     /// Returns the body node for [member].
  
positive.code:     }
    }
  
    GlobalTypeInferenceElementData createElementData() {
      return new KernelGlobalTypeInferenceElementData();
    }
  
    // TODO(johnniwinther): Make this private again.
    GlobalTypeInferenceElementData dataOfMember(MemberEntity element) =>
        _memberData.putIfAbsent(element, createElementData);
  
    GlobalTypeInferenceElementData lookupDataOfMember(MemberEntity element) =>
        _memberData[element];
  
negative.code:     return optimizerHints.assumeDynamic(
          closedWorld.elementEnvironment, commonElements, member);
    }
  }
  
  class KernelTypeSystemStrategy implements TypeSystemStrategy {
  