anchor.diff:      let def, proxied =
           match annot.ProxyOf with
           | Some p -> 
  -            comp.AddProxy(thisDef, p)
               if cls.Accessibility.IsPublic then
                   comp.AddWarning(Some (CodeReader.getRange cls.DeclarationLocation), SourceWarning "Proxy type should not be public")
               let proxied =
  
positive.code:             | None 
              | _ -> ()
          | SourceEntity (ent, nmembers) ->
              transformClass sc comp ac sr annot ent nmembers |> Option.iter comp.AddClass   
          | SourceInterface i ->
              transformInterface sr annot i |> Option.iter comp.AddInterface
          | InitAction expr ->
  
negative.code:     let methodNames = ResizeArray()
      let def =
          match annot.ProxyOf with
          | Some d -> d
          | _ -> sr.ReadTypeDefinition intf
  
      for m in intf.MembersFunctionsAndValues do
  