anchor.diff:              | None 
               | _ -> ()
           | SourceEntity (ent, nmembers) ->
  -            transformClass sc comp ac sr annot ent nmembers |> Option.iter comp.AddClass   
  +            transformClass sc comp ac sr classAnnots annot ent nmembers |> Option.iter comp.AddClass   
           | SourceInterface i ->
               transformInterface sr annot i |> Option.iter comp.AddInterface
           | InitAction expr ->
  
positive.code: 
          file.Declarations |> Seq.iter (getTypesWithMembers topLevelTypes)
  
          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 rootTypeAnnot c m |> Option.iter comp.AddClass
              | SourceInterface i ->
                  transformInterface sr rootTypeAnnot i |> Option.iter comp.AddInterface
              
  
negative.code:     let methodNames = ResizeArray()
      let def =
          match annot.ProxyOf with
          | Some d -> d
          | _ -> sr.ReadTypeDefinition intf
  
      for m in intf.MembersFunctionsAndValues do
  