anchor.diff:        MethodElement function,
         ast.Node rhs,
         _) {
  +    generateIsDeferredLoadedCheckOfSend(node);
       generateNonInstanceSetter(node, function, visitAndPop(rhs));
     }
   
  
positive.code:       FieldElement field,
        ast.Node rhs,
        _) {
      generateNonInstanceSetter(node, field, visitAndPop(rhs));
    }
  
  
negative.code:       SetterElement setter,
        ast.Node rhs,
        _) {
      generateIsDeferredLoadedCheckOfSend(node);
      generateNonInstanceSetter(node, setter, visitAndPop(rhs));
    }
  
  