anchor.diff:                   util:get_stacktrace(), util:get_linetrace()}
           end
       catch
  -        Error:Reason:Stk ->
  -            ct:pal("Reason: ~p~n", [Reason]),
  -            {fail, no_result, no_result_type, Error, Module,
  -             FeederFun,
  -             Args,
  -             Reason, Stk, util:get_linetrace()}
  -    end.
  -
  -apply_args(Module, Func, Args, ResultType, TypeInfos, Thread) ->
  -    %% ct:pal("Calling: ~.0p:~.0p(~.0p)", [Module, Func, Args]),
  -    try
  -        tester_global_state:set_last_call(Thread, Module, Func, Args),
  -        Result = erlang:apply(Module, Func, Args),
  -        %% ct:pal("Result: ~.0p ~n~.0p", [Result, ResultType]),
  -        case tester_type_checker:check(Result, ResultType, TypeInfos) of
  -            true ->
  -                ok;
  -            {false, ErrorMsg} ->
  -                tester_type_checker:log_error(ErrorMsg),
  -                {fail, Result, ResultType, type_check_failed_on_fun_result, Module, Func,
  -                 Args, consult_output_for_detailed_type_check_report,
  -                 no_stacktrace, util:get_linetrace()}
  -        end
  -    catch
  -        exit:{test_case_failed, Reason}:Stk ->
  -            {fail, no_result, no_result_type, test_case_failed, Module, Func,
  -             Args, Reason, Stk, util:get_linetrace()};
  -        Error:Reason:Stk ->
  -            {fail, no_result, no_result_type, Error, Module, Func, Args, Reason,
  -             Stk, util:get_linetrace()}
  -    end.
  --else.
  -% @doc called before the actual test to convert the input values. Can
  -% be used to implement types which cannot be expressed by type-specs
  -apply_feeder(Module, Func, Args, ResultType, TypeInfos) ->
  -    FeederFun = list_to_atom(atom_to_list(Func) ++ "_feeder"),
  -    try
  -        Result = apply(Module, FeederFun, Args),
  -        case tester_type_checker:check(Result, ResultType, TypeInfos) of
  -            true ->
  -                {ok, Result};
  -            {false, ErrMsg} ->
  -                tester_type_checker:log_error(ErrMsg),
  -                {fail, no_result, ResultType, type_check_failed_of_feeder_result, Module,
  -                 FeederFun,
  -                 Args,
  -                 consult_output_for_detailed_type_check_report,
  -                 erlang:get_stacktrace(), util:get_linetrace()}
  -        end
  -    catch
           Error:Reason ->
               ct:pal("Reason: ~p~n", [Reason]),
               {fail, no_result, no_result_type, Error, Module,
                FeederFun,
                Args,
  -             Reason, erlang:get_stacktrace(), util:get_linetrace()}
  +             Reason, util:get_stacktrace(), util:get_linetrace()}
       end.
   
   apply_args(Module, Func, Args, ResultType, TypeInfos, Thread) ->
  
positive.code:     Fun = get_arg_and_result_type(FunType, FeederFunType, Options),
      {var_fun, VarList, {'fun', ArgType, ResultType}} = Fun,
      Size = 30,
      GenArgs = tryToCreateValue(VarList, ArgType, Size, TypeInfos),
      case GenArgs of
          {ok, Args} ->
              case proplists:get_bool(with_feeder, Options) of
  
negative.code:                                            {var_fun, [], util:randomelem(FunTypes)}
                                      end.
  
  
  -spec run_test_ttt(Module::module(), Fun::atom(),
                     Fun::{var_type, [], {union_fun, [test_fun_type(),...]}},
  