anchor.diff:     _Setup = fun() -> {ok, Pid} = tcache:start_link(100), Pid end,
      _Cleanup = fun(Pid) -> tcache_stop(Pid) end,
      [
  -    ?_assertMatch({45,_}, tcore_eval(T1, [], [])),
  -    ?_assertMatch({45,_}, tcore_eval(T1, [{DimT,58}], [DimT]))
  +    ?_assertMatch({45,_}, tcore_eval(T1)),
  +    ?_assertMatch({45,_}, tcore_eval(T1, _K=[{DimT,58}], _D=[DimT]))
      ]}.
   
   toplevel_fun() ->
  
positive.code: tcore_eval(T, K, D) ->
    tcore:eval(T,[],[],K,D,{[],self()},0).
  
  %% End of Module.
  
negative.code:    _Setup = fun() -> {ok, Pid} = tcache:start_link(100), Pid end,
     _Cleanup = fun(Pid) -> tcache_stop(Pid) end,
     [
      ?_assertMatch({46,_}, tcore_eval(T1)),
      ?_assertMatch({46,_}, tcore_eval(T1, _K=[{DimT,58}], _D=[DimT]))
     ]}.
  
  b_abs_can_use_argument_for_querying_creation_context2() ->
  