anchor.diff:        AllFunKeys
     end.
   
  -prepare_decoration(FunTypes, Callgraph, Codeserver) ->
  +get_contracts(FunTypes, Callgraph, Codeserver) ->
     F = fun({Label, _Type}=LabelType, Acc) ->
             case dialyzer_callgraph:lookup_name(Label, Callgraph) of
               {ok, MFA} ->
  
positive.code:   Records = dialyzer_codeserver:lookup_mod_records(M, CodeServer),
    NewFunTypes =
      dialyzer_dataflow:get_fun_types(ModCode, Plt, Callgraph, CodeServer, Records),
    {FunMFAContracts, ModOpaques} =
      prepare_decoration(NewFunTypes, Callgraph, CodeServer),
    DecoratedFunTypes = decorate_succ_typings(FunMFAContracts, ModOpaques),
    %% ?Debug("NewFunTypes       ~tp\n   ~n", [NewFunTypes]),
    %% ?debug("refine DecoratedFunTypes ~tp\n   ~n", [DecoratedFunTypes]),
  
negative.code:   BinRel = sofs:from_external(FunTypes, [{id,type}]), %Already sorted.
    FilteredFunTypes = sofs:to_external(sofs:restriction(BinRel, Set)),
  
    FunMFAContracts = get_contracts(FilteredFunTypes, Callgraph, Codeserver),
    ModOpaques = get_module_opaques(FunMFAContracts, Codeserver),
    DecoratedFunTypes = decorate_succ_typings(FunMFAContracts, ModOpaques),
  
    %% Check contracts
  