anchor.diff:  
   %% Internals
   
  -compose_tree_and_b_abs(ASTGenFun, {mock_tpar, FAbs}) ->
  -  {{mock_tpar, true}, ASTGenFun(FAbs)};
  +compose_tree_and_b_abs(ASTGenFun, {Options, FAbs}) when is_list(Options) ->
  +  {Options, ASTGenFun(FAbs)};
   compose_tree_and_b_abs(ASTGenFun, FAbs) ->
  -  {{mock_tpar,false}, ASTGenFun(FAbs)}.
  -
  -ensure_option_in_test(TestGenFun, {{mock_tpar,_Bool}=MockTParOpt, SOrT}) ->
  +  compose_tree_and_b_abs(ASTGenFun, {[], FAbs}).
  +
  +ensure_option_in_test(TestGenFun, {Options, SOrT}) when is_list(Options) ->
     F = fun(_,_) -> %% Fun needed for usage of foreachx
             TestGenFun(SOrT)
         end,
  -  {[MockTParOpt], F};
  +  {Options, F};
   ensure_option_in_test(TestGenFun, SOrT) ->
  -  ensure_option_in_test(TestGenFun, {{mock_tpar,false}, SOrT}).
  +  ensure_option_in_test(TestGenFun, {[], SOrT}).
   
   
   mock_tpar() ->
  
positive.code:    {'@', s("#.t"), {t, [{{dim,"t"}, BAbs}]}},
     %% "#.t @ [t <- \_x -> A]"
     %%
     {mock_tpar,
      {'@', {b_abs, [], [s("x")], 1}, %% A harmless b_abs, just for returning one
       {t, [
            %% Define a tuple with a dummy dimension idetifier-ordinate
  
negative.code: 
  abs_environment_closure_negative_test_() ->
    {foreachx,
     fun(Options) ->
         case proplists:get_bool(mock_tpar, Options) of
           true  -> mock_tpar();
           false -> nothing
         end,
         setup()
     end,
     fun(Options, Pid) ->
         cleanup(Pid),
         case proplists:get_bool(mock_tpar, Options) of
           true  -> unmock_tpar();
           false -> nothing
         end
     end,
     lists:append(
       [
  