anchor.diff:     _Cleanup = fun(Pid) -> tcache_stop(Pid) end,
      [
       ?_assertMatch({[BAbsX],_},
  -                  tcore_eval({'if',{'?',BAbsX},46,58}, [], []))
  +                  tcore_eval({'if',{'?',BAbsX},46,58}))
      ]}.
   
   
  
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]))
     ]}.
  
  creation_of_b_abs_in_multiple_contexts_plays_nicely_w_cache() ->
  