anchor.diff:  let annot annots =
       List.tryPick (function R.Name x -> Some x | _ -> None) annots
   
  +let isStub annots =
  +    List.exists (function R.Stub -> true | _ -> false) annots
  +
   let addr ctx name annot =
       let ( / ) a b =
           match a with
  
positive.code: 
  type Definition =
      {
          Address  : R.AddressSlot
          Location : Location
          Name     : option<R.Name>
      }
  
negative.code:         let a    = p.Member.Annotations
          let x    = { Address  = p.Member.AddressSlot
                       Name     = annot a
                       Location = p.Member.Location
                       Annotations = a }
          let addr = addr (Some ctx) def.Name x.Name
          let add (x: option<MethodMember>) acc =
              match x with
  