anchor.diff:        this.calledElement,
         Selector selector,
         ArgumentsTypes arguments,
  -      TypeMask type) : super(call, enclosing, selector, arguments, type);
  +      bool inLoop,
  +      TypeMask type)
  +    : super(call, enclosing, selector, arguments, inLoop, type);
   
     void addToGraph(TypeGraphInferrerEngine inferrer) {
       ElementTypeInformation callee =
  
positive.code:   }
  
    void clear() {
      defaultTypeOfParameter.clear();
      types.typeInformations.values.forEach((info) => info.clear());
      types.allocatedTypes.clear();
  
negative.code:     extends InferrerEngine<TypeInformation, TypeInformationSystem> {
    final Map<Element, ConcreteTypeInformation> defaultTypeOfParameter =
        new Map<Element, ConcreteTypeInformation>();
    final List<CallSiteTypeInformation> allocatedCalls =
        <CallSiteTypeInformation>[];
    final WorkQueue workQueue = new WorkQueue();
  
    /// The maximum number of times we allow a node in the graph to
  