anchor.diff:  
   -import(lists, [foldl/3,mapfoldl/3,member/2,reverse/1,sort/1]).
   
  --spec add_anno(Key, Value, Construct) -> Construct when
  +-spec add_anno(Key, Value, Construct0) -> Construct when
         Key :: atom(),
         Value :: any(),
  +      Construct0 :: construct(),
         Construct :: construct().
   
   add_anno(Key, Val, #b_function{anno=Anno}=Bl) ->
  
positive.code:     dom_intersection(Doms, Numbering).
  
  -spec fold_instrs(Fun, Labels, Acc0, Blocks) -> any() when
        Fun :: fun((b_blk()|terminator(), any()) -> any()),
        Labels :: [label()],
        Acc0 :: any(),
        Blocks :: block_map().
  
negative.code: get_anno(Key, Construct) ->
      map_get(Key, get_anno(Construct)).
  
  -spec get_anno(atom(), construct(), any()) -> any().
  
  get_anno(Key, Construct, Default) ->
      maps:get(Key, get_anno(Construct), Default).
  