anchor.diff:      return inferrer.getFieldType(field);
     }
   
  -  ConcreteType analyzeGetterSend(BaseType baseReceiverType,
  +  ConcreteType analyzeGetterSend(ClassElement receiverType,
                                    FunctionElement getter) {
         inferrer.addCaller(getter, currentMethod);
         return inferrer.getSendReturnType(getter,
  -                                        baseReceiverType,
  +                                        receiverType,
                                           new ArgumentsTypes([], new Map()));
     }
   
  
positive.code:       // exceptions for instance, we need to do it by uncommenting the following
        // line.
        // inferrer.addCaller(setter, currentMethod);
        BaseType baseReceiverType = new ClassBaseType(receiver.enclosingElement);
        inferrer.getSendReturnType(setter, baseReceiverType,
            new ArgumentsTypes([argumentType], new Map()));
      }
      return argumentType;
  
negative.code:         // exceptions for instance, we need to do it by uncommenting the
          // following line.
          // inferrer.addCaller(setter, currentMethod);
          inferrer.getSendReturnType(setter, receiverType,
              new ArgumentsTypes([argumentType], new Map()));
        }
        // since this is a sendSet we ignore non-fields
  