anchor.diff:      ?_test(v_fun_w_two_formal_params_is_represented_as_nested_v_abs_and_v_apply()),
       %%
       ?_test(v_abs_can_access_dims_in_application_context())
  +   ]}.
  +
  +n_test_() ->
  +  {foreach, fun setup/0, fun cleanup/1,
  +   [
  +    ?_test(n_fun_is_represented_as_v_fun()),
  +    ?_test(n_fun_w_two_formal_params_is_represented_as_v_fun()),
  +    %%
  +    ?_test(n_fun_is_represented_as_v_fun_complex1()),
  +    ?_test(n_fun_is_represented_as_v_fun_complex2()),
  +    %%
  +    ?_test(n_abs_can_access_dims_in_application_context())
      ]}.
   
   dims_frozen_in_abs_by_transform1_test_() ->
  
positive.code:   S = "(F!t where dim t <- 46 end) where fun F!x = #.x end",
    ?assertMatch({46,_}, eval(S)). %% BTW upstream TL returns 46
  
  
  %% Internals
  
  
negative.code:     end",
    ?assertMatch({45,_}, eval(S)). %% BTW upstream TL returns spundef
  
  v_fun_w_two_formal_params_is_represented_as_nested_v_abs_and_v_apply() ->
    S = "F!46!1 where fun F!x!y = x - y end", %% Minus is not commutative
    ?assertMatch({wherevar,
  