anchor.diff:      let methodNames = ResizeArray()
       let def =
           match annot.ProxyOf with
  -        | Some d -> d 
  +        | Some d -> d
           | _ -> sr.ReadTypeDefinition intf
   
       for m in intf.MembersFunctionsAndValues do
  
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: 
          file.Declarations |> Seq.iter (getTypesWithMembers topLevelTypes)
  
          let classAnnotations = Dictionary()
          
          for t in topLevelTypes do
              match t with
              | SourceEntity (c, m) ->
                  collectClassAnnotations classAnnotations sr rootTypeAnnot c m
              | _ -> ()
  
          // register all proxies for signature redirection
          for (def, annot) in classAnnotations.Values do
              match annot.ProxyOf with
              | Some p -> comp.AddProxy(def, p)
              | _ -> ()
  
          for t in topLevelTypes do
              match t with
              | SourceMember _ -> failwith "impossible: top level member"
              | InitAction _ -> failwith "impossible: top level init action"
              | SourceEntity (c, m) ->
                  transformClass sc comp argCurrying sr classAnnotations rootTypeAnnot c m |> Option.iter comp.AddClass
              | SourceInterface i ->
                  transformInterface sr rootTypeAnnot i |> Option.iter comp.AddInterface
              
  