anchor.diff:          let a    = p.Member.Annotations
           let x    = { Address  = p.Member.AddressSlot
                        Name     = annot a
  -                     Location = p.Member.Location }
  +                     Location = p.Member.Location
  +                     Annotations = a }
           let addr = addr (Some ctx) def.Name x.Name
           let add (x: option<MethodMember>) acc =
               match x with
  
positive.code:     let def = p.Member.Definition
      if not (isStatic p) then
          let a = p.Member.Annotations
          let x = { Address  = p.Member.AddressSlot
                    Name     = annot a
                    Location = p.Member.Location }
          let n = name def.Name x.Name
          let add (x: option<MethodMember>) (acc: Map<_,_>) =
              match x with
  
negative.code:         acc
  
  let rec recType env ctx acc (t: R.Type) =
      let x =
          {
              Address = t.AddressSlot
              Annotations = t.Annotations
              Name = annot t.Annotations
              Location = t.Location
          }
      let ctx   =
          match ctx, t.Definition.Namespace with
          | None, null -> None
  