anchor.diff:      [ {_, {b_abs,[DimT],[_],{wheredim,_,_}}} ]},
      [ {DimT,0} ]} =
       t1(t0(s(S))),
  -  {foreach, fun setup/0, fun cleanup/1,
  -   [
  -    ?_assertMatch({46,_}, eval(S)) %% BTW upstream TL returns spdim
  -   ]}.
  +  ?assertMatch({46,_}, eval(S)). %% BTW upstream TL returns spdim
   
   b_abs_cannot_access_dims_in_application_context() ->
     S = "(F.t where dim t <- 0 end) where fun F.x = #.x end",
  -  {foreach, fun setup/0, fun cleanup/1,
  -   [
  -    ?_assertMatch({[{dim,_,"t"}],_}, eval(S)) %% BTW upstream TL returns spdim
  -   ]}.
  +  ?assertMatch({[{dim,_,"t"}],_}, eval(S)). %% BTW upstream TL returns spdim
   
   creation_of_b_abs_in_multiple_contexts_plays_nicely_w_cache() ->
     %% Test similar to
  
positive.code:       fun F.x = #.x
        dim t <- 0
      end",
    {foreach, fun setup/0, fun cleanup/1,
     [
      ?_assertMatch({45,_}, eval(S)) %% BTW upstream TL returns spundef
     ]}.
  
  
  v_fun_w_two_formal_params_is_represented_as_nested_v_abs_and_v_apply() ->
  
negative.code:         fun F.x = x - y
        end
      end",
     ?assertMatch({45,_}, eval(S)).
  
  b_abs_can_access_local_dims_of_outer_wheredim() ->
    S =
  