anchor.diff:          d.Address.Address <- ctx
           let fmt (a: obj) (b: obj) =
               System.String.Format("Name conflict: renamed {0} to {1}.", a, b)
  -        match d.Name with
  -        | None -> ()
  -        | Some (R.RelativeName name) ->
  -            if name <> ctx.LocalName then
  -                logger.Log {
  -                    Text     = fmt name ctx.LocalName
  -                    Location = d.Location
  -                    Priority = Warning
  -                }
  -        | Some (R.AbsoluteName abs) ->
  -            if abs <> ctx then
  -                logger.Log {
  -                    Text     = fmt abs ctx
  -                    Location = d.Location
  -                    Priority = Warning
  -                }
  +        if not (isStub d.Annotations) then
  +            match d.Name with
  +            | None -> ()
  +            | Some (R.RelativeName name) ->
  +                if name <> ctx.LocalName then
  +                    logger.Log {
  +                        Text     = fmt name ctx.LocalName
  +                        Location = d.Location
  +                        Priority = Warning
  +                    }
  +            | Some (R.AbsoluteName abs) ->
  +                if abs <> ctx then
  +                    logger.Log {
  +                        Text     = fmt abs ctx
  +                        Location = d.Location
  +                        Priority = Warning
  +                    }
       Map.iter (fun k v -> visit vD (P.Global k) v) pkg
       lazy P.Simplify (buildPackage pkg)
  
positive.code: let annot annots =
      List.tryPick (function R.Name x -> Some x | _ -> None) annots
  
  let addr ctx name annot =
      let ( / ) a b =
          match a with
  
negative.code: let recInstanceMethod env (acc: Map<_,_>) (m: MethodMember) =
      let def = m.Definition
      if not def.IsConstructor && not def.IsStatic then
          let x =
              {
                  Address = m.AddressSlot
                  Annotations = m.Annotations
                  Name = annot m.Annotations
                  Location = m.Location
              }
          let n =
              x.Name
              |> name (if def.Overrides.Length = 1
  