anchor.diff:    BinRel = sofs:from_external(FunTypes, [{id,type}]), %Already sorted.
     FilteredFunTypes = sofs:to_external(sofs:restriction(BinRel, Set)),
   
  -  {FunMFAContracts, ModOpaques} =
  -    prepare_decoration(FilteredFunTypes, Callgraph, Codeserver),
  +  FunMFAContracts = get_contracts(FilteredFunTypes, Callgraph, Codeserver),
  +  ModOpaques = get_module_opaques(FunMFAContracts, Codeserver),
     DecoratedFunTypes = decorate_succ_typings(FunMFAContracts, ModOpaques),
   
     %% Check contracts
  
positive.code:             error -> [{LabelType, no}|Acc]
            end
        end,
    Contracts = lists:foldl(F, [], orddict:to_list(FunTypes)),
    ModOpaques =
      [{M, lookup_opaques(M, Codeserver)} ||
        M <- lists:usort([M || {_LabelType, {{M, _, _}, _Con}} <- Contracts])],
    {Contracts, orddict:from_list(ModOpaques)}.
  
  decorate_succ_typings(FunTypesContracts, ModOpaques) ->
    F = fun({{Label, Type}, {{M, _, _}, Contract}}) ->
  
negative.code:       AllFunKeys
    end.
  
  get_contracts(FunTypes, Callgraph, Codeserver) ->
    F = fun({Label, _Type}=LabelType, Acc) ->
            case dialyzer_callgraph:lookup_name(Label, Callgraph) of
              {ok, MFA} ->
  