anchor.diff:  
       ok.
   
  +-spec type_check_module_funs(module(),
  +                             FunList::[{Fun::atom(), Arity::non_neg_integer()}],
  +                             ExcludeList::[{Fun::atom(), Arity::non_neg_integer()}],
  +                             Count::pos_integer()) -> [ok | skipped | [ok | skipped]].
   type_check_module_funs(Module, FunList, ExcludeList, Count) ->
       [ begin
             %% test all non excluded funs with std. settings
  
positive.code:             ct:pal("*** Detected cover analysis, have to skip tests of private funs."),
              ok
      end,
      %% remained there anything to test?
      case [] =:= ExcludeExported orelse
          lists:any(fun(X) -> skipped =/= X end,
                    lists:flatten(ResList)) of
  
negative.code: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  -spec type_check_module(module(),
                          ExcludeExported::[{Fun::atom(), Arity::non_neg_integer()}],
                          ExcludePrivate::[{Fun::atom(), Arity::non_neg_integer()}],
                         Count::pos_integer()) -> ok.
  type_check_module(Module, ExcludeExported, ExcludePrivate, Count) ->
      ExpFuncs = Module:module_info(exports),
      ExcludeList = [{module_info, 0}, {module_info, 1} | ExcludeExported],
  
      %% only excluded exported functions?
      ErrList = [ {Module, X} || X <- ExcludeList,
                                 not lists:member(X, ExpFuncs) ],
      case ErrList of
          [] -> ok;
          [_|_] ->
              ct:pal("Excluded non-existing or non-exported functions: ~p~n", [ErrList]),
              throw(error)
      end,
  
      %% perform the actual tests
  